diff options
| -rw-r--r-- | frontends/verilog/preproc.cc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/frontends/verilog/preproc.cc b/frontends/verilog/preproc.cc index 883531e78..9781a22d9 100644 --- a/frontends/verilog/preproc.cc +++ b/frontends/verilog/preproc.cc @@ -961,6 +961,10 @@ frontend_verilog_preproc(std::istream &f, } if (tok == "`resetall") { + continue; + } + + if (tok == "`undefineall" && sv_mode) { defines.clear(); global_defines_cache.clear(); continue; |