diff --git a/verific b/verific
index d573b2fff..837c0d34c 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit d573b2fffce69c24b2b9222752319a8acac51201
+Subproject commit 837c0d34cb825f44e377c66314fbea906f2fc5f1