diff --git a/verific b/verific
index e2179291a..d4f910a07 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit e2179291a4ce82bde3a106409eb74a06fd99209c
+Subproject commit d4f910a07502427a27c2d0d3c3d71a1655eff52a