diff options
Diffstat (limited to 'platform/android/src/style/sources/geojson_source.hpp')
| -rw-r--r-- | platform/android/src/style/sources/geojson_source.hpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/platform/android/src/style/sources/geojson_source.hpp b/platform/android/src/style/sources/geojson_source.hpp index b9c360c67c..24ea3c73f8 100644 --- a/platform/android/src/style/sources/geojson_source.hpp +++ b/platform/android/src/style/sources/geojson_source.hpp @@ -62,6 +62,7 @@ private: jni::Object<Source> createJavaPeer(jni::JNIEnv&); std::unique_ptr<Update> awaitingUpdate; std::unique_ptr<Update> update; + std::shared_ptr<ThreadPool> threadPool; std::unique_ptr<Actor<FeatureConverter>> converter; template <class JNIType> |