diff --git a/verific b/verific
index c0645cff9..4d1393ba5 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit c0645cff94b1a2b8d090dea33dc3a444cf0faa65
+Subproject commit 4d1393ba50c44d093b7df7880aa6fa47e1bab6fc