Merge pull request #2536 from TobiasFaller/master

Fixed missing goto statement in passes/techmap/abc.cc
This commit is contained in:
Miodrag Milanović 2021-01-20 20:42:02 +01:00 committed by GitHub
commit bfa353f154
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions

View File

@ -1794,6 +1794,7 @@ struct AbcPass : public Pass {
gate_list.push_back("OAI4");
gate_list.push_back("MUX");
gate_list.push_back("NMUX");
goto ok_alias;
}
if (g_arg_from_cmd)
cmd_error(args, g_argidx, stringf("Unsupported gate type: %s", g.c_str()));