diff options
Diffstat (limited to 'passes/cmds/write_file.cc')
| -rw-r--r-- | passes/cmds/write_file.cc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/passes/cmds/write_file.cc b/passes/cmds/write_file.cc index 813e215ba..9f22861a5 100644 --- a/passes/cmds/write_file.cc +++ b/passes/cmds/write_file.cc @@ -20,6 +20,9 @@ #include "kernel/yosys.h" +USING_YOSYS_NAMESPACE +PRIVATE_NAMESPACE_BEGIN + struct WriteFileFrontend : public Frontend { WriteFileFrontend() : Frontend("=write_file", "write a text to a file") { } virtual void help() @@ -74,3 +77,4 @@ struct WriteFileFrontend : public Frontend { } } WriteFileFrontend; +PRIVATE_NAMESPACE_END |