X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/fb5f062589c377c00ba0de7691da6425ad7ada1c..824740eb0df1dedddb86035ff3730d87e037f356:/include/simgrid/config.h.in

diff --git a/include/simgrid/config.h.in b/include/simgrid/config.h.in
index 6ef3fd76b1..83977db9ed 100644
--- a/include/simgrid/config.h.in
+++ b/include/simgrid/config.h.in
@@ -11,8 +11,8 @@
 
 /* Were mallocators (object pools) compiled in? */
 #cmakedefine01 SIMGRID_HAVE_MALLOCATOR
-/* Was the model-checking compiled in? */
-#cmakedefine01 SIMGRID_HAVE_MC
+/* Was the stateful model-checking compiled in? */
+#cmakedefine01 SIMGRID_HAVE_STATEFUL_MC
 /* Was the ns-3 support compiled in? */
 #cmakedefine01 SIMGRID_HAVE_NS3
 #cmakedefine NS3_MINOR_VERSION @NS3_MINOR_VERSION@