diff --git a/verific b/verific
index 0284e8560..052006b59 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit 0284e8560e23dcf914213cb08e44041fbbbfd286
+Subproject commit 052006b591230179789359d75d702453e1832db7