diff options
Diffstat (limited to 'editor/editor_help.cpp')
| -rw-r--r-- | editor/editor_help.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/editor/editor_help.cpp b/editor/editor_help.cpp index d6278a63fe..77c4fc71a4 100644 --- a/editor/editor_help.cpp +++ b/editor/editor_help.cpp @@ -648,7 +648,7 @@ void EditorHelp::_update_doc() { } // Properties overview - RBSet<String> skip_methods; + HashSet<String> skip_methods; bool property_descr = false; bool has_properties = cd.properties.size() != 0; |