diff options
Diffstat (limited to 'library/profiler_builtins')
| -rw-r--r-- | library/profiler_builtins/src/lib.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/library/profiler_builtins/src/lib.rs b/library/profiler_builtins/src/lib.rs index a81d0a635..ac685b18c 100644 --- a/library/profiler_builtins/src/lib.rs +++ b/library/profiler_builtins/src/lib.rs @@ -7,5 +7,5 @@ issue = "none" )] #![allow(unused_features)] -#![cfg_attr(not(bootstrap), allow(internal_features))] +#![allow(internal_features)] #![feature(staged_api)] |