From 00d1ede70204ac84e1cc5fb4c8ce4cff998c1e4f Mon Sep 17 00:00:00 2001
From: Akash Levy <akashlevy@gmail.com>
Date: Tue, 20 Aug 2024 01:05:50 -0700
Subject: [PATCH] Update Verific

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

diff --git a/verific b/verific
index 6a4e0afb3..525f6fcd1 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit 6a4e0afb3be018d0c8096958f3cf63647ea0c5e3
+Subproject commit 525f6fcd1d3783c40dcd1d6ff00ae5ae6d50d98b