From 5c94a472987b3f9b32fb1c4674b7fc1aee18e0cf Mon Sep 17 00:00:00 2001
From: AdvaySingh1 <advay@umich.edu>
Date: Thu, 26 Mar 2026 17:02:57 -0700
Subject: [PATCH] moved verific to main head

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

diff --git a/verific b/verific
index 4feaf1f92..87cb8cf50 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit 4feaf1f923157af0ed064eab8e302647bd5fa1b7
+Subproject commit 87cb8cf50448c4d28a1b2d57bd4afc119b6439af