diff options
| -rw-r--r-- | cpp/tangle/001trace.cc | 2 | ||||
| -rw-r--r-- | cpp/tangle/boot.cc | 8 |
2 files changed, 4 insertions, 6 deletions
diff --git a/cpp/tangle/001trace.cc b/cpp/tangle/001trace.cc index a56fc200..a02cacd4 100644 --- a/cpp/tangle/001trace.cc +++ b/cpp/tangle/001trace.cc @@ -2,7 +2,7 @@ bool Hide_warnings = false; struct trace_stream { vector<pair<string, pair<int, string> > > past_lines; // [(layer label, frame, line)] - unordered_map<string, int> frame; + map<string, int> frame; // accumulator for current line ostringstream* curr_stream; string curr_layer; diff --git a/cpp/tangle/boot.cc b/cpp/tangle/boot.cc index 0001c84c..fd9ea70d 100644 --- a/cpp/tangle/boot.cc +++ b/cpp/tangle/boot.cc @@ -8,6 +8,7 @@ #include<sys/param.h> #include<time.h> #include<math.h> + #include<vector> using std::vector; #include<list> @@ -16,11 +17,8 @@ using std::list; using std::stack; #include<utility> using std::pair; - -#include<tr1/unordered_map> -using std::tr1::unordered_map; -#include<tr1/unordered_set> -using std::tr1::unordered_set; +#include<map> +using std::map; #include<algorithm> #include<string> |