Index: src/third_party/vtune/vtune-jit.cc |
diff --git a/src/third_party/vtune/vtune-jit.cc b/src/third_party/vtune/vtune-jit.cc |
index 93de7efbb937efff67be4b47d4f836ab69d71dac..0f35290d19cc9ac25132ded4b629aba724080075 100644 |
--- a/src/third_party/vtune/vtune-jit.cc |
+++ b/src/third_party/vtune/vtune-jit.cc |
@@ -64,14 +64,9 @@ using namespace std; |
// To avoid GCC 4.4 compilation warning about hash_map being deprecated. |
#define OLD_DEPRECATED __DEPRECATED |
#undef __DEPRECATED |
-#if defined (ANDROID) |
-#include <hash_map> |
-using namespace std; |
-#else |
#include <ext/hash_map> |
-using namespace __gnu_cxx; |
-#endif |
#define __DEPRECATED OLD_DEPRECATED |
+using namespace __gnu_cxx; |
#endif |
#include <list> |