diff --git a/verific b/verific
index f6114043e..938cad4b0 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit f6114043ecf341de28b3fca6f173a4aeee94ac24
+Subproject commit 938cad4b0dbeac7dc97589ca0e48802fc1339118