diff --git a/verific b/verific
index d000f1a21..01ad443c3 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit d000f1a21d7163b475b1dc0e6219ab64fc4d27f4
+Subproject commit 01ad443c3fff2a92c9473b69291ac32ef788683a