From 789715782c701aaf0ee16ca5683c8a9f590d618d Mon Sep 17 00:00:00 2001
From: Akash Levy <akashlevy@gmail.com>
Date: Sun, 19 May 2024 21:41:23 -0700
Subject: [PATCH] Update verific

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

diff --git a/verific b/verific
index 9f13ecc2e1f..d573b2fffce 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit 9f13ecc2e1f265ee03a3548d11c68e290e7ec4bf
+Subproject commit d573b2fffce69c24b2b9222752319a8acac51201