Fixed missing goto statement in passes/techmap/abc.cc

diff --git a/passes/techmap/abc.cc b/passes/techmap/abc.cc
index 192e39372f642766cabe5c635a0d7f256881eee5..cf51d7f4bdba2c16b227cefd5624be6c4f5328f8 100644 (file)
--- a/passes/techmap/abc.cc
+++ b/passes/techmap/abc.cc
@@ -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()));