diff --git a/verific b/verific
index 9a8b93c36..892937410 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit 9a8b93c362a8dd20ddf169da859c2b2149f9d84c
+Subproject commit 89293741027af260341a07b315d63e447e31bcef