From 30ed617fd28596d7d15e96859ba62a4548f49943 Mon Sep 17 00:00:00 2001
From: Akash Levy <akashlevy@gmail.com>
Date: Fri, 24 May 2024 00:28:35 -0700
Subject: [PATCH] Update verific compile flags

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

diff --git a/verific b/verific
index 189e8273c..d34160e0d 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit 189e8273cdce8dd6d21c41e2ac7729d494d2304e
+Subproject commit d34160e0db7adfe191bab15b0a59a4d5c676e33f