From b9a8ed226edb6520629366eea93f5fec95a34bdb Mon Sep 17 00:00:00 2001
From: Akash Levy <akashlevy@gmail.com>
Date: Tue, 14 May 2024 17:18:46 -0700
Subject: [PATCH] Update verific to search incdirs

---
 verific | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/verific b/verific
index c0645cff94b..4d1393ba50c 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit c0645cff94b1a2b8d090dea33dc3a444cf0faa65
+Subproject commit 4d1393ba50c44d093b7df7880aa6fa47e1bab6fc