From ea99fe685ba5c0355e150a2665d873fbfc4c5a8c Mon Sep 17 00:00:00 2001
From: Akash Levy <akashlevy@gmail.com>
Date: Mon, 20 May 2024 16:10:06 -0700
Subject: [PATCH] Verific fix

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

diff --git a/verific b/verific
index d573b2fffce..837c0d34cb8 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit d573b2fffce69c24b2b9222752319a8acac51201
+Subproject commit 837c0d34cb825f44e377c66314fbea906f2fc5f1