From 2a8575abb2efe93120b8f9f5e366facdf0fa190d Mon Sep 17 00:00:00 2001
From: Akash Levy <akashlevy@gmail.com>
Date: Fri, 3 May 2024 03:34:36 -0700
Subject: [PATCH] Update verific to O3 opt

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

diff --git a/verific b/verific
index 6deccf8f8..943f652b0 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit 6deccf8f80a802d97c1268e2f775b2da8a1ccda6
+Subproject commit 943f652b03498836864ed8692dbe8cd14260bc3c