write_xaiger: get rid of external_bits dict

This commit is contained in:
Eddie Hung 2020-01-02 15:32:58 -08:00
parent 6e866030c2
commit 07feedfa73
1 changed files with 1 additions and 1 deletions

View File

@ -78,7 +78,7 @@ struct XAigerWriter
Module *module;
SigMap sigmap;
pool<SigBit> input_bits, output_bits, external_bits;
pool<SigBit> input_bits, output_bits;
dict<SigBit, SigBit> not_map, alias_map;
dict<SigBit, pair<SigBit, SigBit>> and_map;
vector<SigBit> ci_bits, co_bits;