diff --git a/verific b/verific
index 767cf7dff..28f79dbcf 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit 767cf7dff4168b940e5a3d74fc219647019b978b
+Subproject commit 28f79dbcfa0d0a96a9fe02f7ed075df7f48682a6