diff --git a/verific b/verific
index fe5f858be..767cf7dff 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit fe5f858befcbd0e830988e155970c5a9352bb2ca
+Subproject commit 767cf7dff4168b940e5a3d74fc219647019b978b