diff --git a/kernel/register.cc b/kernel/register.cc index 6bcee858..49a67324 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 args) { - if (args.size() == 0 || args[0][0] == '#') + if (args.size() == 0 || args[0][0] == '#' || args[0][0] == ':') return; if (echo_mode) {