Use sigmap signal

This commit is contained in:
Eddie Hung 2019-12-16 16:40:52 -08:00
parent b19fc8839b
commit 42f990f3a6
1 changed files with 1 additions and 1 deletions

View File

@ -471,7 +471,7 @@ struct XAigerWriter
SigBit O = sigmap(b);
if (O != b)
alias_map[O] = b;
input_bits.erase(b);
input_bits.erase(O);
undriven_bits.erase(O);
}
}