diff options
Diffstat (limited to 'src/tools/clippy/tests/ui/search_is_some.rs')
| -rw-r--r-- | src/tools/clippy/tests/ui/search_is_some.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/clippy/tests/ui/search_is_some.rs b/src/tools/clippy/tests/ui/search_is_some.rs index 72f335153..670599b0d 100644 --- a/src/tools/clippy/tests/ui/search_is_some.rs +++ b/src/tools/clippy/tests/ui/search_is_some.rs @@ -1,4 +1,4 @@ -// aux-build:option_helpers.rs +//@aux-build:option_helpers.rs #![warn(clippy::search_is_some)] #![allow(dead_code)] extern crate option_helpers; |