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

diff --git a/src/xbt/xbt_rl_time.c b/src/xbt/xbt_rl_time.c
index 7d6618ee87..1fbf9eb7e5 100644
--- a/src/xbt/xbt_rl_time.c
+++ b/src/xbt/xbt_rl_time.c
@@ -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;