From 75af87023e8af0ea8ff4475f3b54b82f53ab4720 Mon Sep 17 00:00:00 2001
From: Akash Levy <akashlevy@gmail.com>
Date: Sun, 7 Jul 2024 15:36:04 -0700
Subject: [PATCH] Smallfix

---
 verific | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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