diff --git a/sci b/sci
index 05d20ae0..6a712e21 160000
--- a/sci
+++ b/sci
@@ -1 +1 @@
-Subproject commit 05d20ae07ad9c99a3e4aab6afa194dd9570c48e4
+Subproject commit 6a712e211a4978b3bef59202ee28dad8f5452fbf