From 82d4096dfbaca5253f51b46de2a1c4500b883346 Mon Sep 17 00:00:00 2001
From: Michiel Borkent <michielborkent@gmail.com>
Date: Sun, 5 Jan 2020 22:11:44 +0100
Subject: [PATCH] sci: add any? and inst?

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

diff --git a/sci b/sci
index 74e58536..e5c34aa2 160000
--- a/sci
+++ b/sci
@@ -1 +1 @@
-Subproject commit 74e58536995367d358225f5a71ebb12928dc3b96
+Subproject commit e5c34aa292c1d96f7ed41ae01af3fd61d78bd66e