From ed88ccd2fd2fb464df805d5fabbf85040459b50d Mon Sep 17 00:00:00 2001
From: Akash Levy <akash@silimate.com>
Date: Thu, 16 Apr 2026 11:51:11 -0700
Subject: [PATCH] Add start/end group to fix linker issues

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

diff --git a/verific b/verific
index 938cad4b0..145e22d57 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit 938cad4b0dbeac7dc97589ca0e48802fc1339118
+Subproject commit 145e22d578d6d854e89f4932a4683c154df2a5eb