diff options
| author | Maxime Coste <mawww@kakoune.org> | 2017-03-07 01:12:37 +0000 |
|---|---|---|
| committer | Maxime Coste <mawww@kakoune.org> | 2017-03-07 01:12:37 +0000 |
| commit | f0ae0b84102a0cb7d0dda0b8b7b1ba425d5d6eb7 (patch) | |
| tree | 0a38687f1796139771873cd760192af747baf4b4 /src/json_ui.cc | |
| parent | 6373338c50a9431de7440b9274a079b4dc6c5755 (diff) | |
Replace IdMap with HashMap
Diffstat (limited to 'src/json_ui.cc')
| -rw-r--r-- | src/json_ui.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/json_ui.cc b/src/json_ui.cc index 1dada266..8a436513 100644 --- a/src/json_ui.cc +++ b/src/json_ui.cc @@ -230,7 +230,7 @@ void JsonUI::set_on_key(OnKeyCallback callback) } using JsonArray = Vector<Value>; -using JsonObject = IdMap<Value>; +using JsonObject = HashMap<String, Value>; static bool is_digit(char c) { return c >= '0' and c <= '9'; } @@ -324,7 +324,7 @@ parse_json(const char* pos, const char* end) std::tie(element, pos) = parse_json(pos, end); if (not element) return {}; - object.append({ std::move(name), std::move(element) }); + object.insert({ std::move(name), std::move(element) }); if (not skip_while(pos, end, is_blank)) return {}; |
