From 2926082eda220ebdffc366ceb8d7cffcdb3aa0af Mon Sep 17 00:00:00 2001 From: Akash Levy Date: Mon, 21 Oct 2024 15:07:08 -0700 Subject: [PATCH] Fix glibc compatibility flag --- verific | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/verific b/verific index 15dbeb384..22b8b099a 160000 --- a/verific +++ b/verific @@ -1 +1 @@ -Subproject commit 15dbeb38447b75455c89accae99f39fd20fae55f +Subproject commit 22b8b099a971ac5c82ac32df46d392a6ab611394