diff --git a/verific b/verific
index eda746e1d..c0645cff9 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit eda746e1d8ee7b243a1ff66f3e5e51a4e4af6963
+Subproject commit c0645cff94b1a2b8d090dea33dc3a444cf0faa65