diff --git a/verific b/verific
index f02b6e5a0..7a720ad1e 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit f02b6e5a0c38df8405801af0ed12b530d801248f
+Subproject commit 7a720ad1e8d59ed3cdc4c1d61c695087b74c5110