diff --git a/verific b/verific
index 6deccf8f8..943f652b0 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit 6deccf8f80a802d97c1268e2f775b2da8a1ccda6
+Subproject commit 943f652b03498836864ed8692dbe8cd14260bc3c