From 132707739708553eab1457bd9fcee93315c66d6d Mon Sep 17 00:00:00 2001
From: Akash Levy <akashlevy@gmail.com>
Date: Tue, 14 May 2024 16:11:26 -0700
Subject: [PATCH] Update verific

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

diff --git a/verific b/verific
index eda746e1d8e..c0645cff94b 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit eda746e1d8ee7b243a1ff66f3e5e51a4e4af6963
+Subproject commit c0645cff94b1a2b8d090dea33dc3a444cf0faa65