diff --git a/verific b/verific
index c8aa4ceb9..907e267b7 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit c8aa4ceb9338f7c3057b7c3ddd5d49c49b28d089
+Subproject commit 907e267b7b311777d34783cfab63b3f984062e04