diff --git a/verific b/verific
index 87cb8cf50..1d26e0604 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit 87cb8cf50448c4d28a1b2d57bd4afc119b6439af
+Subproject commit 1d26e06044a35203790f3c9a9b0fbf069b512228