kill dead and useless headers

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@1262 48e7efb5-ca39-0410-a469-dd3cf9ba447f

diff --git a/src/gras/gras.c b/src/gras/gras.c
index f58444c..a24bf8a 100644 (file)
--- a/src/gras/gras.c
+++ b/src/gras/gras.c
@@ -15,9 +15,7 @@
 #include "xbt_modinter.h"   /* module init/exit */
 
 #include "gras/core.h"
-#include "gras/cond.h"    /* gras_if_RL() => FIXME: killme when gras/sg works */
 #include "gras/process.h" /* FIXME: killme and put process_init in modinter */
-#include "gras/chrono.h"
 
 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(gras,XBT_LOG_ROOT_CAT,"All GRAS categories (cf. section \ref GRAS_API)");
 static int gras_running_process = 0;