From b0be19c1267b794fb08bc7a8c7174ebbfb9fce7d Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Fri, 25 Nov 2022 13:02:11 +0100
Subject: Support importing verilog configurations using Verific

---
 frontends/verific/verific.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'frontends/verific/verific.h')

diff --git a/frontends/verific/verific.h b/frontends/verific/verific.h
index 695c04f3b..d9f0077db 100644
--- a/frontends/verific/verific.h
+++ b/frontends/verific/verific.h
@@ -26,7 +26,7 @@ YOSYS_NAMESPACE_BEGIN
 extern int verific_verbose;
 
 extern bool verific_import_pending;
-extern void verific_import(Design *design, const std::map<std::string,std::string> &parameters, std::string top = std::string());
+extern std::string verific_import(Design *design, const std::map<std::string,std::string> &parameters, std::string top = std::string());
 
 extern pool<int> verific_sva_prims;
 
-- 
cgit v1.2.3