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 -#include +#include #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 stats_type; + typedef std::map stats_type; stats_type m_stats; public: