diff options
Diffstat (limited to 'src/tools/clippy/tests/ui/crashes/ice-8681.rs')
-rw-r--r-- | src/tools/clippy/tests/ui/crashes/ice-8681.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/clippy/tests/ui/crashes/ice-8681.rs b/src/tools/clippy/tests/ui/crashes/ice-8681.rs index ee14f011f..607b9caa3 100644 --- a/src/tools/clippy/tests/ui/crashes/ice-8681.rs +++ b/src/tools/clippy/tests/ui/crashes/ice-8681.rs @@ -1,4 +1,4 @@ -// aux-build: ice-8681-aux.rs +//@aux-build: ice-8681-aux.rs #![warn(clippy::undocumented_unsafe_blocks)] |