diff --git a/verific b/verific
index 9f13ecc2e..d573b2fff 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit 9f13ecc2e1f265ee03a3548d11c68e290e7ec4bf
+Subproject commit d573b2fffce69c24b2b9222752319a8acac51201