diff --git a/verific b/verific
index 6c4245752..6b6ffb310 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit 6c424575286e66b434fab12663a627653e2c265e
+Subproject commit 6b6ffb3104e36fdad6cb353c53469ba6b48c6ab9