model-checker : remove unnecessary test

[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 bd035b16ce6c1e39f8a30e6d2c0bb4324bed78af..1fbf9eb7e57c0249dc2fa504868632d728713f6b 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);
 }
+