diff --git a/verific b/verific
index 938cad4b0..145e22d57 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit 938cad4b0dbeac7dc97589ca0e48802fc1339118
+Subproject commit 145e22d578d6d854e89f4932a4683c154df2a5eb