diff --git a/verific b/verific
index a8cbd92ed..ebf4edce7 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit a8cbd92ed66fdbc6a267f5b2332daac9cb4a8d98
+Subproject commit ebf4edce7e090acfccec131ddf5f8f0bc41d9cbe