]> AND Public Git Repository - simgrid.git/blobdiff - src/xbt/xbt_rl_time.c
Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Add properties to AS structure (Not work for now) and use SG_PLATF_AS_INITIALIZER
[simgrid.git] / src / xbt / xbt_rl_time.c
index 7d6618ee8798569a0662e4f6781292a5692be613..1fbf9eb7e57c0249dc2fa504868632d728713f6b 100644 (file)
@@ -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;