diff --git a/verific b/verific
index 5494ec600..cadb1cfb6 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit 5494ec6005899a889b603216e5f7a9ea58dee712
+Subproject commit cadb1cfb6cd25fefddeeae01980b1828e26adccc