model-checker : more condition (state with processes interleaved > 0) for detection...

[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 bd035b1..1fbf9eb 100644 (file)
--- a/src/xbt/xbt_rl_time.c
+++ b/src/xbt/xbt_rl_time.c
@@ -25,3 +25,4 @@ void xbt_sleep(double sec)
 {
   xbt_os_sleep(sec);
 }
+