#include "xbt/dict.h"
#include "xbt/function_types.h"
#include "mc/datatypes.h"
-#include "simix/datatypes.h"
+#include "simgrid/simix.h"
#include "simgrid/modelchecker.h" /* our public interface (and definition of HAVE_MC) */
#include "xbt/automaton.h"