From de916c88516953652ddf21a41813240128b4fba4 Mon Sep 17 00:00:00 2001 From: Akash Levy Date: Thu, 9 Oct 2025 03:35:07 -0700 Subject: [PATCH] Fix incdir issues in Verific --- verific | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/verific b/verific index d000f1a21..01ad443c3 160000 --- a/verific +++ b/verific @@ -1 +1 @@ -Subproject commit d000f1a21d7163b475b1dc0e6219ab64fc4d27f4 +Subproject commit 01ad443c3fff2a92c9473b69291ac32ef788683a