diff --git a/verific b/verific
index 2619116ab..189e8273c 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit 2619116ab08bc62ffc1bb5f2feed510ea332c388
+Subproject commit 189e8273cdce8dd6d21c41e2ac7729d494d2304e