diff --git a/verific b/verific
index e921e5861..6a4e0afb3 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit e921e58617e977da0aa1c86d74327db6ef765cda
+Subproject commit 6a4e0afb3be018d0c8096958f3cf63647ea0c5e3