diff --git a/verific b/verific
index 91488a596..e1c7f9ac6 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit 91488a5964b8f4a99464dc744930910a9a6ecca1
+Subproject commit e1c7f9ac626e1235c6721022c6af84d93dbf7349