diff --git a/kernel/cellaigs.cc b/kernel/cellaigs.cc index 292af3f51..c0d413fad 100644 --- a/kernel/cellaigs.cc +++ b/kernel/cellaigs.cc @@ -318,7 +318,7 @@ Aig::Aig(Cell *cell) goto optimize; } - if (cell->type.in(ID($mux), ID($_MUX_))) + if (cell->type.in(ID($mux), ID($_MUX_), ID($_NMUX_))) { int S = mk.inport(ID::S); for (int i = 0; i < GetSize(cell->getPort(ID::Y)); i++) {