From 58568c0b7ad7fee23ad02d95ac42d0d025fcb56e Mon Sep 17 00:00:00 2001
From: Michiel Borkent <michielborkent@gmail.com>
Date: Wed, 18 Dec 2019 21:46:35 +0100
Subject: [PATCH] sci: letfn

---
 sci | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sci b/sci
index b86cb3db..95cad890 160000
--- a/sci
+++ b/sci
@@ -1 +1 @@
-Subproject commit b86cb3db570ffcf6b193662481acceca25d3c979
+Subproject commit 95cad890b5112448a732067b34e90b1935b6193a