diff --git a/verific b/verific
index cee2b14fd..324ed5d92 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit cee2b14fdace74e89b699027a6e8f28fb86613c5
+Subproject commit 324ed5d92aa63128bd0382c7f013d63719e08079