Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
prefix all macro defined in public simgrid_config.h with 'SIMGRID_'
[simgrid.git] / src / include / mc / mc.h
index 8ca9c1a..aadf44d 100644 (file)
@@ -6,9 +6,9 @@
 #ifndef MC_MC_H
 #define MC_MC_H
 
-#include <src/internal_config.h>
+#include <simgrid/modelchecker.h> /* our public interface (and definition of SIMGRID_HAVE_MC) */
 #include <simgrid/simix.h>
-#include <simgrid/modelchecker.h> /* our public interface (and definition of HAVE_MC) */
+#include <src/internal_config.h>
 #if HAVE_UCONTEXT_H
 #include <ucontext.h>           /* context relative declarations */
 #endif