diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index 48e902666..caf292d59 100644
--- 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;
 
-	dict<SigBit, int> aig_map;
+	std::map<SigBit, int> aig_map;
 	dict<SigBit, int> ordered_outputs;
 
 	vector<Cell*> box_list;