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 /main | |
| parent | 410893ad0fb6f0d7d774b6529581d886defd6cf0 (diff) | |
Add a new HashSet template
* Intended to replace RBSet in most cases.
* Optimized for iteration speed
Diffstat (limited to 'main')
| -rw-r--r-- | main/main.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/main/main.cpp b/main/main.cpp index 4d4173b2ee..fff78d9e8f 100644 --- a/main/main.cpp +++ b/main/main.cpp @@ -2150,7 +2150,7 @@ bool Main::start() { DocTools docsrc; HashMap<String, String> doc_data_classes; - RBSet<String> checked_paths; + HashSet<String> checked_paths; print_line("Loading docs..."); for (int i = 0; i < _doc_data_class_path_count; i++) { |