Index: third_party/re2/util/util.h |
diff --git a/third_party/re2/util/util.h b/third_party/re2/util/util.h |
index 11b5f4a29c59f096dde17898bba17cea39f19e7d..3f9ac5b46f098846da5470fbfebb7c7465a186d0 100644 |
--- a/third_party/re2/util/util.h |
+++ b/third_party/re2/util/util.h |
@@ -45,7 +45,7 @@ using std::sort; |
using std::swap; |
using std::make_pair; |
-#if defined(__GNUC__) && !defined(USE_CXX0X) && !defined(OS_ANDROID) |
+#if defined(__GNUC__) && !defined(USE_CXX0X) && !defined(OS_ANDROID) && !defined(_LIBCPP_VERSION) |
#include <tr1/unordered_set> |
using std::tr1::unordered_set; |