From 0f1f6506b4dd08a65c2a2569133c6533e0860968 Mon Sep 17 00:00:00 2001
From: Akash Levy <akashlevy@gmail.com>
Date: Mon, 13 May 2024 00:20:12 -0700
Subject: [PATCH] Update verific

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

diff --git a/verific b/verific
index 9a8b93c36..892937410 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit 9a8b93c362a8dd20ddf169da859c2b2149f9d84c
+Subproject commit 89293741027af260341a07b315d63e447e31bcef