summaryrefslogtreecommitdiff
path: root/frontends/verific/verific.cc
diff options
context:
space:
mode:
Diffstat (limited to 'frontends/verific/verific.cc')
-rw-r--r--frontends/verific/verific.cc8
1 files changed, 7 insertions, 1 deletions
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 80170394..6e692c5a 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -17,7 +17,7 @@
*
*/
-#include "kernel/register.h"
+#include "kernel/yosys.h"
#include "kernel/sigtools.h"
#include "kernel/log.h"
#include <unistd.h>
@@ -26,6 +26,8 @@
#include <string.h>
#include <dirent.h>
+USING_YOSYS_NAMESPACE
+
#ifdef YOSYS_ENABLE_VERIFIC
#pragma clang diagnostic push
@@ -768,6 +770,8 @@ static void import_netlist(RTLIL::Design *design, Netlist *nl, std::set<Netlist*
#endif /* YOSYS_ENABLE_VERIFIC */
+YOSYS_NAMESPACE_BEGIN
+
struct VerificPass : public Pass {
VerificPass() : Pass("verific", "load Verilog and VHDL designs using Verific") { }
virtual void help()
@@ -945,3 +949,5 @@ struct VerificPass : public Pass {
#endif
} VerificPass;
+YOSYS_NAMESPACE_END
+