From f2a869fb5807f01e007c8ac55a7076b72e6628db Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Sat, 4 Jun 2016 11:01:46 +0100
Subject: [PATCH] std::unordered_map -> std::map

---
 src/tactic/core/collect_statistics_tactic.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/tactic/core/collect_statistics_tactic.cpp b/src/tactic/core/collect_statistics_tactic.cpp
index 99af8f773..8e8879fef 100644
--- a/src/tactic/core/collect_statistics_tactic.cpp
+++ b/src/tactic/core/collect_statistics_tactic.cpp
@@ -18,7 +18,7 @@ Notes:
 
 --*/
 #include<string>
-#include<unordered_map>
+#include<map>
 
 #include"ast.h"
 #include"params.h"
@@ -42,7 +42,7 @@ class collect_statistics_tactic : public tactic {
     datatype_decl_plugin m_datatype_pi;
     fpa_decl_plugin      m_fpa_pi;
 
-    typedef std::unordered_map<std::string, unsigned long> stats_type;
+    typedef std::map<std::string, unsigned long> stats_type;
     stats_type m_stats;
 
 public: