From: Martin Quinson <martin.quinson@loria.fr>
Date: Sun, 10 Jul 2016 20:20:59 +0000 (+0200)
Subject: kill the last bits about cocci
X-Git-Tag: v3_14~776
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/011115b948507cacf1c7717284b27f1477359ed8

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 8e39931056..53a74b5952 100644
--- 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