diff --git a/kernel/yosys.cc b/kernel/yosys.cc index 3076158bd..7494b7e3c 100644 --- a/kernel/yosys.cc +++ b/kernel/yosys.cc @@ -698,6 +698,9 @@ static void handle_label(std::string &command, bool &from_to_active, const std:: while (pos < GetSize(command) && (command[pos] == ' ' || command[pos] == '\t')) pos++; + if (pos < GetSize(command) && command[pos] == '#') + return; + while (pos < GetSize(command) && command[pos] != ' ' && command[pos] != '\t' && command[pos] != '\r' && command[pos] != '\n') label += command[pos++];