model-checker : rename cfg flag for state comparison reduction with storage of visite...

[simgrid.git] / src / xbt / xbt_sg_time.c

diff --git a/src/xbt/xbt_sg_time.c b/src/xbt/xbt_sg_time.c
index 96fab4b..8a3722f 100644 (file)
--- a/src/xbt/xbt_sg_time.c
+++ b/src/xbt/xbt_sg_time.c
@@ -7,7 +7,7 @@
  * under the terms of the license (GNU LGPL) which comes with this package. */
 
 #include "gras/Virtu/virtu_sg.h"
-#include "simix/simix.h"
+#include "simgrid/simix.h"
 
 /*
  * Time elapsed since the begining of the simulation.
@@ -23,7 +23,7 @@ double xbt_time()
  */
 void xbt_sleep(double sec)
 {
-  SIMIX_req_process_sleep(sec);
+  simcall_process_sleep(sec);
 }
 
 const char *xbt_procname(void)