From 9873315caa7a37d26b1c35d36e1968b99f904865 Mon Sep 17 00:00:00 2001
From: Akash Levy <akashlevy@gmail.com>
Date: Wed, 31 Jul 2024 22:40:15 -0700
Subject: [PATCH] Update Verific

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

diff --git a/verific b/verific
index f02b6e5a0..7a720ad1e 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit f02b6e5a0c38df8405801af0ed12b530d801248f
+Subproject commit 7a720ad1e8d59ed3cdc4c1d61c695087b74c5110