diff --git a/verific b/verific
index ebf4edce7..f0386edce 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit ebf4edce7e090acfccec131ddf5f8f0bc41d9cbe
+Subproject commit f0386edcee51b40016cde365979276bba305b072