From 8f59afd62d6d28059efb6caad1232254146daddd Mon Sep 17 00:00:00 2001
From: Eddie Hung <eddie@fpgeh.com>
Date: Fri, 21 Jun 2019 13:47:07 -0700
Subject: [PATCH] Revert "Stab in the dark with aig_map from dict -> std::map"

This reverts commit 70ee10b650e01b7b262baa5c6fda934fb860dfce.
---
 backends/aiger/xaiger.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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