From 9b66cb015b897e8b227369da0f143622bd5c2a14 Mon Sep 17 00:00:00 2001 From: Akash Levy Date: Wed, 8 May 2024 05:16:11 -0700 Subject: [PATCH] Update Verific --- verific | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/verific b/verific index 943f652b034..a6cfc768215 160000 --- a/verific +++ b/verific @@ -1 +1 @@ -Subproject commit 943f652b03498836864ed8692dbe8cd14260bc3c +Subproject commit a6cfc768215f84ff22d26873a53319f5a22b38e1