From 7d07a84cfe76726578ff6ef55831794134275394 Mon Sep 17 00:00:00 2001
From: Akash Levy <akashlevy@gmail.com>
Date: Wed, 15 May 2024 20:42:20 -0700
Subject: [PATCH] Verific

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

diff --git a/verific b/verific
index fe5f858befc..767cf7dff41 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit fe5f858befcbd0e830988e155970c5a9352bb2ca
+Subproject commit 767cf7dff4168b940e5a3d74fc219647019b978b