Revert "Stab in the dark with aig_map from dict -> std::map"

This reverts commit 70ee10b650e01b7b262baa5c6fda934fb860dfce.

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index b7a5d5761e45546e3a47771df57af5ee3f6dce17..6718e4f2cd192f68ce6bd7df194d3f33be785616 100644 (file)
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -71,7 +71,7 @@ struct XAigerWriter
        vector<int> aig_outputs;
        int aig_m = 0, aig_i = 0, aig_l = 0, aig_o = 0, aig_a = 0;
 
-       std::map<SigBit, int> aig_map;
+       dict<SigBit, int> aig_map;
        dict<SigBit, int> ordered_outputs;
 
        vector<Cell*> box_list;