diff --git a/sci b/sci
index d4f656cc..1172d1fa 160000
--- a/sci
+++ b/sci
@@ -1 +1 @@
-Subproject commit d4f656ccfb526ffb4b28285a1867b5195968a67e
+Subproject commit 1172d1fa98a401b97cfefaddfa30d9b95129a639