Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
finish removing simix.h from C files, and avoid the use of Ptr when not needed
[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.
  *