diff --git a/verific b/verific
index 943f652b034..a6cfc768215 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit 943f652b03498836864ed8692dbe8cd14260bc3c
+Subproject commit a6cfc768215f84ff22d26873a53319f5a22b38e1