| Index: third_party/re2/util/util.h
 | 
| diff --git a/third_party/re2/util/util.h b/third_party/re2/util/util.h
 | 
| index 83504454b28c40c38dd8c4ac79f8d1782697904a..4f0fdb8ad040b691358761b4053f28d40a05c510 100644
 | 
| --- a/third_party/re2/util/util.h
 | 
| +++ b/third_party/re2/util/util.h
 | 
| @@ -55,7 +55,7 @@ using std::tr1::unordered_set;
 | 
|  #else
 | 
|  
 | 
|  #include <unordered_set>
 | 
| -#if defined(WIN32) || defined(OS_ANDROID)
 | 
| +#if defined(WIN32) || (defined(OS_ANDROID) && !defined(_LIBCPP_ABI_VERSION))
 | 
|  using std::tr1::unordered_set;
 | 
|  #else
 | 
|  using std::unordered_set;
 | 
| 
 |