From: mquinson <mquinson@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Date: Tue, 10 May 2005 13:33:44 +0000 (+0000)
Subject: kill dead and useless headers
X-Git-Tag: v3.3~4092
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/f103b060ebe4ae96be56fd325b71b31c288ac251

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 f58444c71c..a24bf8a89c 100644
--- 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;