From 122e06d44b8c9b573898aec8fdbfaa4a527b7cfd Mon Sep 17 00:00:00 2001
From: Akash Levy <akashlevy@gmail.com>
Date: Thu, 16 May 2024 19:50:20 -0700
Subject: [PATCH] Updated Verific

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

diff --git a/verific b/verific
index 767cf7dff41..28f79dbcfa0 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit 767cf7dff4168b940e5a3d74fc219647019b978b
+Subproject commit 28f79dbcfa0d0a96a9fe02f7ed075df7f48682a6