diff options
Diffstat (limited to 'libcxx/include/__random/default_random_engine.h')
| -rw-r--r-- | libcxx/include/__random/default_random_engine.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/libcxx/include/__random/default_random_engine.h b/libcxx/include/__random/default_random_engine.h index 89792f4f0d43..02d607948e15 100644 --- a/libcxx/include/__random/default_random_engine.h +++ b/libcxx/include/__random/default_random_engine.h @@ -14,6 +14,7 @@ #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER) # pragma GCC system_header +# pragma clang include_instead(<random>) #endif _LIBCPP_BEGIN_NAMESPACE_STD |