X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/6760cb07d6b57be16928d95339d71e57c4e24f36..bfe98911a4c3fa925c1ef59b08259295642f9d9f:/src/xbt/xbt_rl_time.c

diff --git a/src/xbt/xbt_rl_time.c b/src/xbt/xbt_rl_time.c
index bd035b16ce..7d6618ee87 100644
--- a/src/xbt/xbt_rl_time.c
+++ b/src/xbt/xbt_rl_time.c
@@ -25,3 +25,8 @@ 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;