From fe0c3b0ae1a792ba9c829a6cfc60d8c4a088ba59 Mon Sep 17 00:00:00 2001
From: Akash Levy <akashlevy@gmail.com>
Date: Mon, 1 Jul 2024 03:38:59 -0700
Subject: [PATCH] Update verific

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

diff --git a/verific b/verific
index 70e31a5ec..e2179291a 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit 70e31a5eced6982418febb18d04079e0e7ea3aad
+Subproject commit e2179291a4ce82bde3a106409eb74a06fd99209c