File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -16,7 +16,7 @@ namespace math {
1616
1717/* *
1818 * Map cvodes error flag to acutally error msg. The most frequent
19- * errors are put at the top. An alternative would be to use std::unordered_map
19+ * errors are put at the top. An alternative would be to use std::map
2020 * but in our case the difference would be negligible. Note that we
2121 * don't use CVGetReturnFlagName function to retrieve the constant
2222 * because sanitizer indicates it contains mem leak.
Original file line number Diff line number Diff line change @@ -115,7 +115,7 @@ class profile_info {
115115
116116using profile_key = std::pair<std::string, std::thread::id>;
117117
118- using profile_map = std::unordered_map <profile_key, profile_info>;
118+ using profile_map = std::map <profile_key, profile_info>;
119119
120120/* *
121121 * Profiles C++ lines where the object is in scope.
You can’t perform that action at this time.
0 commit comments