From adfcaa998597b711925a6ce9d4a739ce92a56a96 Mon Sep 17 00:00:00 2001 From: Akash Levy Date: Sun, 5 Jan 2025 06:40:35 -0800 Subject: [PATCH] Fix verific dependency --- verific | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/verific b/verific index 28f6e71a8..3992c3755 160000 --- a/verific +++ b/verific @@ -1 +1 @@ -Subproject commit 28f6e71a8d96018dd7b301ba84883061df4327ca +Subproject commit 3992c3755bec1ec68c6889509e33f6607873813f