diff --git a/coccinelle/empty-if.cocci b/coccinelle/empty-if.cocci
deleted file mode 100644
index 026c461ee6..0000000000
--- a/coccinelle/empty-if.cocci
+++ /dev/null
@@ -1,56 +0,0 @@
-@@
-expression e, f, g, h, i, j;
-statement s, t;
-@@
-(
-if (e) {
-(
-if (h) s
-|
-if (h) s else t
-|
-while (h) s
-|
-for (h; i; j) s
-)
-}
-|
-while (e) {
-(
-if (h) s
-|
-if (h) s else t
-|
-while (h) s
-|
-for (h; i; j) s
-)
-}
-|
-for (e; f; g) {
-(
-if (h) s
-|
-if (h) s else t
-|
-while (h) s
-|
-for (h; i; j) s
-)
-}
-|
-- if (e) {
-+ if (e)
-s
-- }
-|
-- while (e) {
-+ while (e)
-s
-- }
-|
-- for (e; f; g) {
-+ for (e; f; g)
-s
-- }
-)
diff --git a/coccinelle/run-coccinelle.sh b/coccinelle/run-coccinelle.sh
index 1373b53c5f..e982e3b0fc 100755
--- a/coccinelle/run-coccinelle.sh
+++ b/coccinelle/run-coccinelle.sh
@@ -1,7 +1,6 @@
 #!/bin/bash -e
 
 for SCRIPT in ${@-*.cocci} ; do
-        [ "$SCRIPT" = "empty-if.cocci" ] && continue
         echo "--x-- Processing $SCRIPT --x--"
         TMPFILE=`mktemp`
         spatch --sp-file $SCRIPT --dir $(pwd)/.. 2> "$TMPFILE" || cat "$TMPFILE"