diff options
Diffstat (limited to 'src/tools/clippy/tests/ui/ptr_as_ptr.rs')
| -rw-r--r-- | src/tools/clippy/tests/ui/ptr_as_ptr.rs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/tools/clippy/tests/ui/ptr_as_ptr.rs b/src/tools/clippy/tests/ui/ptr_as_ptr.rs index 8f2068cd268..7ab52e63da5 100644 --- a/src/tools/clippy/tests/ui/ptr_as_ptr.rs +++ b/src/tools/clippy/tests/ui/ptr_as_ptr.rs @@ -1,5 +1,4 @@ //@aux-build:proc_macros.rs -//@compile-flags: -Zdeduplicate-diagnostics=yes #![warn(clippy::ptr_as_ptr)] |