write_xaiger: get rid of external_bits dict

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index 053f9d8359088b7546c578cb6feb18499968aba7..2b456bb9ac00eabe8f962edc6d52dd88c4e9a679 100644 (file)
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -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;