summaryrefslogtreecommitdiff
path: root/modules/mono/mono_gd
diff options
context:
space:
mode:
authorRémi Verschelde <rverschelde@gmail.com>2020-12-29 09:54:59 +0100
committerRémi Verschelde <rverschelde@gmail.com>2020-12-29 09:55:07 +0100
commit09212fba1ebbb29595456b01bf25c0ca80592a2d (patch)
tree4fe74909f95d303bd3814291fa67fa03267a0b4a /modules/mono/mono_gd
parentc6e9d912e129373d81e6610a3733ffc7fb7a146b (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.cpp2
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;
}