diff --git a/verific b/verific
index 736d26da6..958847a58 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit 736d26da64484244def74ca9ac33acbeeb22185f
+Subproject commit 958847a5874fa65a53f436a8abb0689109647333