diff --git a/verific b/verific
index 70e31a5ec..e2179291a 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit 70e31a5eced6982418febb18d04079e0e7ea3aad
+Subproject commit e2179291a4ce82bde3a106409eb74a06fd99209c