diff --git a/verific b/verific
index 1be64c8f4..fe5f858be 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit 1be64c8f429a2d6fd01188e86e968f413d20f6b5
+Subproject commit fe5f858befcbd0e830988e155970c5a9352bb2ca