model-checker : fix compilation error (with optimizations) with commit d90a41491cfb04...

[simgrid.git] / src / xbt / xbt_rl_time.c

diff --git a/src/xbt/xbt_rl_time.c b/src/xbt/xbt_rl_time.c
index 7d6618e..5d36fd2 100644 (file)
--- 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;