From be0c573a0d372d473086bc81eca13bbe4cc0f283 Mon Sep 17 00:00:00 2001
From: Michiel Borkent <michielborkent@gmail.com>
Date: Sat, 11 Jan 2020 16:44:21 +0100
Subject: [PATCH] sci: pre- and postconditions

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

diff --git a/sci b/sci
index 09553860..6f54500f 160000
--- a/sci
+++ b/sci
@@ -1 +1 @@
-Subproject commit 09553860ae169e09820e583075c5c1ae6db26488
+Subproject commit 6f54500fb27600b00ccb1fd47617eb9211c5afb7