Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Whitespace cleanup.
[simgrid.git] / src / include / mc / mc.h
index 0834db9..23f056f 100644 (file)
@@ -6,8 +6,8 @@
 #ifndef MC_MC_H
 #define MC_MC_H
 
+#include <simgrid/forward.h>
 #include <simgrid/modelchecker.h> /* our public interface (and definition of SIMGRID_HAVE_MC) */
-#include <simgrid/simix.h>
 
 /* Maximum size of the application heap.
  *