From d2c29a108b3c9265c8d3b457a288bedf29907248 Mon Sep 17 00:00:00 2001
From: Akash Levy <akashlevy@gmail.com>
Date: Tue, 21 May 2024 17:40:27 -0700
Subject: [PATCH] Update verific

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

diff --git a/verific b/verific
index 2619116ab..189e8273c 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit 2619116ab08bc62ffc1bb5f2feed510ea332c388
+Subproject commit 189e8273cdce8dd6d21c41e2ac7729d494d2304e