From 4b0d2bdd8de65aa67a652bf92e802ba5e9ee4448 Mon Sep 17 00:00:00 2001 From: Akash Levy Date: Thu, 16 Apr 2026 10:39:54 -0700 Subject: [PATCH] Update Verific for Linux build --- verific | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/verific b/verific index 0284e8560..052006b59 160000 --- a/verific +++ b/verific @@ -1 +1 @@ -Subproject commit 0284e8560e23dcf914213cb08e44041fbbbfd286 +Subproject commit 052006b591230179789359d75d702453e1832db7