From 189d177478a79f2a21d2f1c3d5ed532a05d7052a Mon Sep 17 00:00:00 2001
From: Stan Lee <slee93@stanford.edu>
Date: Mon, 6 Jul 2026 16:18:47 -0700
Subject: [PATCH] bump verific

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

diff --git a/verific b/verific
index cee2b14fd..324ed5d92 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit cee2b14fdace74e89b699027a6e8f28fb86613c5
+Subproject commit 324ed5d92aa63128bd0382c7f013d63719e08079