diff options
| -rw-r--r-- | kernel/register.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/register.cc b/kernel/register.cc index 6bcee8581..49a67324d 100644 --- a/kernel/register.cc +++ b/kernel/register.cc @@ -209,7 +209,7 @@ void Pass::call(RTLIL::Design *design, std::string command) void Pass::call(RTLIL::Design *design, std::vector<std::string> args) { - if (args.size() == 0 || args[0][0] == '#') + if (args.size() == 0 || args[0][0] == '#' || args[0][0] == ':') return; if (echo_mode) { |