From 011115b948507cacf1c7717284b27f1477359ed8 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Sun, 10 Jul 2016 22:20:59 +0200
Subject: [PATCH] kill the last bits about cocci

---
 examples/platforms/storage/content/storage_content.txt | 1 -
 1 file changed, 1 deletion(-)

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
-- 
2.20.1