Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[TRACING] Rename TIT action reduceScatter -> reducescatter
[simgrid.git] / include / simgrid / modelchecker.h
index 547f9fd..77c0c6d 100644 (file)
@@ -16,7 +16,7 @@
 
 #include <stddef.h> /* size_t */
 
-#include <simgrid_config.h> /* SIMGRID_HAVE_MC ? */
+#include <simgrid/config.h> /* SIMGRID_HAVE_MC ? */
 
 #include <xbt/base.h>