From 245ecb05291e19d33ccd13f0a78bb435fb5c5ee9 Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Fri, 25 Mar 2022 13:44:16 +0100
Subject: Import verific netlist in consistent order

---
 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 9d5beb787..416b26396 100644
--- a/frontends/verific/verific.h
+++ b/frontends/verific/verific.h
@@ -94,7 +94,7 @@ struct VerificImporter
 	void merge_past_ffs_clock(pool<RTLIL::Cell*> &candidates, SigBit clock, bool clock_pol);
 	void merge_past_ffs(pool<RTLIL::Cell*> &candidates);
 
-	void import_netlist(RTLIL::Design *design, Verific::Netlist *nl, std::set<Verific::Netlist*> &nl_todo, bool norename = false);
+	void import_netlist(RTLIL::Design *design, Verific::Netlist *nl, std::map<std::string,Verific::Netlist*> &nl_todo, bool norename = false);
 };
 
 void verific_import_sva_assert(VerificImporter *importer, Verific::Instance *inst);
-- 
cgit v1.2.3