diff --git a/verific b/verific
index 57b57ab0f..e921e5861 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit 57b57ab0fa6d0ea8dad26bbfe689a9b11840bfbb
+Subproject commit e921e58617e977da0aa1c86d74327db6ef765cda