From 39e8fc90bc80c7d552186206265ae4d7752a9d53 Mon Sep 17 00:00:00 2001
From: Akash Levy <akashlevy@gmail.com>
Date: Sun, 7 Jul 2024 17:33:33 -0700
Subject: [PATCH] Smallfix

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

diff --git a/verific b/verific
index 9087ffc7c..0ccf06e6c 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit 9087ffc7c49e45be388686d2633b04c88132255c
+Subproject commit 0ccf06e6cc0c6d3f2991efe9f4f6c34af9692e14