diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2020-12-29 09:54:59 +0100 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2020-12-29 09:55:07 +0100 |
commit | 09212fba1ebbb29595456b01bf25c0ca80592a2d (patch) | |
tree | 4fe74909f95d303bd3814291fa67fa03267a0b4a /modules/mono/mono_gd | |
parent | c6e9d912e129373d81e6610a3733ffc7fb7a146b (diff) |
Fix missed renamings from empty() to is_empty()
Those were missed in #44401 or added by later PRs.
Diffstat (limited to 'modules/mono/mono_gd')
-rw-r--r-- | modules/mono/mono_gd/support/android_support.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/modules/mono/mono_gd/support/android_support.cpp b/modules/mono/mono_gd/support/android_support.cpp index bc2ae03299..5bd70748c3 100644 --- a/modules/mono/mono_gd/support/android_support.cpp +++ b/modules/mono/mono_gd/support/android_support.cpp @@ -134,7 +134,7 @@ String determine_app_native_lib_dir() { } String get_app_native_lib_dir() { - if (app_native_lib_dir_cache.empty()) + if (app_native_lib_dir_cache.is_empty()) app_native_lib_dir_cache = determine_app_native_lib_dir(); return app_native_lib_dir_cache; } |