diff options
| author | reduz <reduzio@gmail.com> | 2022-05-19 17:00:06 +0200 |
|---|---|---|
| committer | reduz <reduzio@gmail.com> | 2022-05-20 22:40:38 +0200 |
| commit | 45af29da8095af16729955117a165d23e77cd740 (patch) | |
| tree | 0436c59187702466a73d05caf9688a58e5935afd /modules/gdscript/language_server | |
| parent | 410893ad0fb6f0d7d774b6529581d886defd6cf0 (diff) | |
Add a new HashSet template
* Intended to replace RBSet in most cases.
* Optimized for iteration speed
Diffstat (limited to 'modules/gdscript/language_server')
| -rw-r--r-- | modules/gdscript/language_server/gdscript_workspace.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/modules/gdscript/language_server/gdscript_workspace.cpp b/modules/gdscript/language_server/gdscript_workspace.cpp index ffd3cfa907..8d484a43b3 100644 --- a/modules/gdscript/language_server/gdscript_workspace.cpp +++ b/modules/gdscript/language_server/gdscript_workspace.cpp @@ -784,7 +784,7 @@ GDScriptWorkspace::GDScriptWorkspace() { } GDScriptWorkspace::~GDScriptWorkspace() { - RBSet<String> cached_parsers; + HashSet<String> cached_parsers; for (const KeyValue<String, ExtendGDScriptParser *> &E : parse_results) { cached_parsers.insert(E.key); |