diff --git a/verific b/verific
index 958847a58..77f2eb6e9 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit 958847a5874fa65a53f436a8abb0689109647333
+Subproject commit 77f2eb6e931f9295cc7fd0ca165781e5f59cd22e