diff --git a/verific b/verific
index 77f2eb6e9..7b332206e 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit 77f2eb6e931f9295cc7fd0ca165781e5f59cd22e
+Subproject commit 7b332206e488631001fc5d244bf60550620702f6