diff --git a/verific b/verific
index 837c0d34c..2619116ab 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit 837c0d34cb825f44e377c66314fbea906f2fc5f1
+Subproject commit 2619116ab08bc62ffc1bb5f2feed510ea332c388