summary refs log tree commit diff
path: root/bin
diff options
context:
space:
mode:
Diffstat (limited to 'bin')
-rwxr-xr-xbin/clippy1
1 files changed, 0 insertions, 1 deletions
diff --git a/bin/clippy b/bin/clippy
index fbf5dc7..148f8bb 100755
--- a/bin/clippy
+++ b/bin/clippy
@@ -39,7 +39,6 @@ SUPPRESS=(
 
     # To be resolved or suppressed locally.
     cast_ptr_alignment
-    if_same_then_else
     ptr_arg
 
     # We don't care about these lints. Okay to remain suppressed globally.