diff --git a/verific b/verific
index e9a14af8f..6deccf8f8 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit e9a14af8f5d804bbe6c415473d311e7df623976c
+Subproject commit 6deccf8f80a802d97c1268e2f775b2da8a1ccda6