diff --git a/verific b/verific
index 15dbeb384..22b8b099a 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit 15dbeb38447b75455c89accae99f39fd20fae55f
+Subproject commit 22b8b099a971ac5c82ac32df46d392a6ab611394