From dec43679be3ec7ae06ff5506881ba8dcb957fae2 Mon Sep 17 00:00:00 2001
From: Akash Levy <akashlevy@gmail.com>
Date: Fri, 28 Jun 2024 03:13:38 -0700
Subject: [PATCH] See if this fixes issues on Innatera design

---
 frontends/verific/verific.cc | 6 +++---
 verific                      | 2 +-
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 1c6210505..e46697729 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -3286,9 +3286,9 @@ struct VerificPass : public Pass {
 
 			RuntimeFlags::SetVar("verific_produce_verbose_syntax_error_message", 1);
 
-#ifndef DB_PRESERVE_INITIAL_VALUE
-#  warning Verific was built without DB_PRESERVE_INITIAL_VALUE.
-#endif
+// #ifndef DB_PRESERVE_INITIAL_VALUE
+// #  warning Verific was built without DB_PRESERVE_INITIAL_VALUE.
+// #endif
 
 			set_verific_global_flags = false;
 		}
diff --git a/verific b/verific
index 4773c6200..70e31a5ec 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit 4773c6200677f730e3c389d9949cd094c69e1f5a
+Subproject commit 70e31a5eced6982418febb18d04079e0e7ea3aad