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 726b0c2..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.