From 358ab194dd95b3bce9af86b154832f2816e2cb5b Mon Sep 17 00:00:00 2001 From: Akash Levy Date: Mon, 2 Jun 2025 17:58:18 -0700 Subject: [PATCH] Update Verific --- verific | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/verific b/verific index 736d26da6..958847a58 160000 --- a/verific +++ b/verific @@ -1 +1 @@ -Subproject commit 736d26da64484244def74ca9ac33acbeeb22185f +Subproject commit 958847a5874fa65a53f436a8abb0689109647333