diff options
| -rw-r--r-- | media/jni/android_media_MediaCodecList.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/media/jni/android_media_MediaCodecList.cpp b/media/jni/android_media_MediaCodecList.cpp index 923d1d253c6e..307d80dc15c0 100644 --- a/media/jni/android_media_MediaCodecList.cpp +++ b/media/jni/android_media_MediaCodecList.cpp @@ -26,6 +26,7 @@ #include <utils/Vector.h> +#include <mutex> #include <vector> #include "android_runtime/AndroidRuntime.h" |