diff --git a/verific b/verific
index 6a4e0afb3..525f6fcd1 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit 6a4e0afb3be018d0c8096958f3cf63647ea0c5e3
+Subproject commit 525f6fcd1d3783c40dcd1d6ff00ae5ae6d50d98b