diff options
| -rw-r--r-- | library/core/src/lib.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/library/core/src/lib.rs b/library/core/src/lib.rs index 630876445ba..e10d01b58b0 100644 --- a/library/core/src/lib.rs +++ b/library/core/src/lib.rs @@ -64,6 +64,7 @@ not(bootstrap), doc(cfg_hide( not(test), + any(not(feature = "miri-test-libstd"), test, doctest), target_pointer_width = "16", target_pointer_width = "32", target_pointer_width = "64", |