diff --git a/verific b/verific
index 145e22d57..fc343c990 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit 145e22d578d6d854e89f4932a4683c154df2a5eb
+Subproject commit fc343c9904855352fd8294bcd7209afcfca9bbbc