kill the last bits about cocci

diff --git a/examples/platforms/storage/content/storage_content.txt b/examples/platforms/storage/content/storage_content.txt
index 8e39931..53a74b5 100644 (file)
--- a/examples/platforms/storage/content/storage_content.txt
+++ b/examples/platforms/storage/content/storage_content.txt
@@ -439,7 +439,6 @@
 /include/smpi/mpif.h  4826
 /include/smpi/smpif.h  1139
 /include/smpi/mpi.h  510
-/include/smpi/smpi_cocci.h 3187
 /include/smpi/smpi.h  24101
 /include/xbt/fifo.h  3626
 /include/xbt/dict.h  7459