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