From 5def05a5ddcdb94050f33aced27c79c11735b5cb Mon Sep 17 00:00:00 2001
From: Akash Levy <akashlevy@gmail.com>
Date: Mon, 1 Jul 2024 04:20:52 -0700
Subject: [PATCH] Smallfix

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

diff --git a/verific b/verific
index e2179291a..d4f910a07 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit e2179291a4ce82bde3a106409eb74a06fd99209c
+Subproject commit d4f910a07502427a27c2d0d3c3d71a1655eff52a