From f40d54736b338e609de3b82c0c16816ebea990a2 Mon Sep 17 00:00:00 2001
From: Akash Levy <akashlevy@gmail.com>
Date: Sun, 7 Jul 2024 15:21:10 -0700
Subject: [PATCH] Update Verific to June_2024 release

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

diff --git a/verific b/verific
index a8cbd92ed..ebf4edce7 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit a8cbd92ed66fdbc6a267f5b2332daac9cb4a8d98
+Subproject commit ebf4edce7e090acfccec131ddf5f8f0bc41d9cbe