diff --git a/verific b/verific
index b29b658a0..476ca1899 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit b29b658a05b60bd1ebdd6eaee8ed2b452673c9e6
+Subproject commit 476ca18992aef80201e36e9416959a9bba196366