From 2dd55d73a044790024b132842205c914aa9629ab Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Wed, 30 Nov 2022 17:26:48 +0100
Subject: [PATCH] reset elaboration error after rewriter

---
 frontends/verific/verific.cc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 1e61b3a31..10c03fb30 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -2289,6 +2289,7 @@ std::string verific_import(Design *design, const std::map<std::string,std::strin
 
 #ifdef YOSYSHQ_VERIFIC_EXTENSIONS
 	VerificExtensions::ElaborateAndRewrite("work", &verific_params);
+	verific_error_msg.clear();
 #endif
 
 	if (top.empty()) {
@@ -3217,6 +3218,7 @@ struct VerificPass : public Pass {
 
 #ifdef YOSYSHQ_VERIFIC_EXTENSIONS
 			VerificExtensions::ElaborateAndRewrite(work, &parameters);
+			verific_error_msg.clear();
 #endif
 			if (!ppfile.empty())
 				veri_file::PrettyPrint(ppfile.c_str(), nullptr, work.c_str());