X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/053352ba13737467be4fc66c9a1c92bd84118bee..b3aa71456ffe1bbebaa91708e1738dbb56fccaaa:/src/xbt/xbt_rl_time.c

diff --git a/src/xbt/xbt_rl_time.c b/src/xbt/xbt_rl_time.c
index 7d6618ee87..5d36fd22f1 100644
--- a/src/xbt/xbt_rl_time.c
+++ b/src/xbt/xbt_rl_time.c
@@ -6,8 +6,6 @@
 /* This program is free software; you can redistribute it and/or modify it
  * under the terms of the license (GNU LGPL) which comes with this package. */
 
-#include <math.h>               /* floor */
-
 #include "portable.h"
 
 #include "xbt/sysdep.h"
@@ -15,6 +13,8 @@
 #include "gras/virtu.h"
 #include "xbt/xbt_os_time.h"    /* private */
 
+#include <math.h>               /* floor */
+
 XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(gras_virtu);
 double xbt_time(void)
 {
@@ -26,7 +26,3 @@ void xbt_sleep(double sec)
   xbt_os_sleep(sec);
 }
 
-/* This horribly badly placed. I just need to get that symbol with that value into libgras so that the mallocators are happy.
- * EPR will save us all. One day.
- */
-int _surf_do_model_check = 0;