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