diff --git a/verific b/verific
index e736d552c..15dbeb384 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit e736d552c04a335a376be1034848e25f460f9345
+Subproject commit 15dbeb38447b75455c89accae99f39fd20fae55f