From 519789be09699dd42fcfe5c575a8af841f17f463 Mon Sep 17 00:00:00 2001 From: Akash Levy Date: Wed, 20 Nov 2024 22:26:10 -0800 Subject: [PATCH] Update Verific --- verific | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/verific b/verific index c8aa4ceb9..907e267b7 160000 --- a/verific +++ b/verific @@ -1 +1 @@ -Subproject commit c8aa4ceb9338f7c3057b7c3ddd5d49c49b28d089 +Subproject commit 907e267b7b311777d34783cfab63b3f984062e04