diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-05-12 12:36:43 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-05-12 12:36:43 +0200 |
| commit | edda6ee9f82ec94f993ebf44486ab7d8abcef193 (patch) | |
| tree | 691c51ea7516990b94303afa334d70c66c512cc4 /editor/editor_help_search.h | |
| parent | 9b7e16a6b8b80fe61881e8f4df28550e18050dd2 (diff) | |
| parent | 8b7c7f5a753b43cec10f72b274bb1d70c253652b (diff) | |
Merge pull request #60881 from reduz/new-hash-map
Diffstat (limited to 'editor/editor_help_search.h')
| -rw-r--r-- | editor/editor_help_search.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/editor/editor_help_search.h b/editor/editor_help_search.h index d89bb0959c..14a8c46a79 100644 --- a/editor/editor_help_search.h +++ b/editor/editor_help_search.h @@ -31,7 +31,7 @@ #ifndef EDITOR_HELP_SEARCH_H #define EDITOR_HELP_SEARCH_H -#include "core/templates/ordered_hash_map.h" +#include "core/templates/map.h" #include "editor/code_editor.h" #include "editor/editor_help.h" #include "editor/editor_plugin.h" |