diff --git a/verific b/verific
index 28f6e71a8..3992c3755 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit 28f6e71a8d96018dd7b301ba84883061df4327ca
+Subproject commit 3992c3755bec1ec68c6889509e33f6607873813f