From 59ec385381019e015b0273ec561ea11c66fa6ce9 Mon Sep 17 00:00:00 2001 From: Akash Levy Date: Sun, 3 Aug 2025 21:06:58 -0700 Subject: [PATCH] Bump Verific to latest release --- verific | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/verific b/verific index 958847a58..77f2eb6e9 160000 --- a/verific +++ b/verific @@ -1 +1 @@ -Subproject commit 958847a5874fa65a53f436a8abb0689109647333 +Subproject commit 77f2eb6e931f9295cc7fd0ca165781e5f59cd22e