diff options
Diffstat (limited to 'passes/cmds/cover.cc')
| -rw-r--r-- | passes/cmds/cover.cc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/passes/cmds/cover.cc b/passes/cmds/cover.cc index ac72ba53a..057f31217 100644 --- a/passes/cmds/cover.cc +++ b/passes/cmds/cover.cc @@ -25,6 +25,9 @@ #include "kernel/rtlil.h" #include "kernel/log.h" +USING_YOSYS_NAMESPACE +PRIVATE_NAMESPACE_BEGIN + struct CoverPass : public Pass { CoverPass() : Pass("cover", "print code coverage counters") { } virtual void help() @@ -142,3 +145,4 @@ struct CoverPass : public Pass { } } CoverPass; +PRIVATE_NAMESPACE_END |