diff --git a/passes/techmap/abc.cc b/passes/techmap/abc.cc
index 192e39372..cf51d7f4b 100644
--- 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()));