X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/f0534a5e2af72c36c12d55f7ea323040e6e9bf36..40ee10e13b61bfb28374d96ade010a262b5abd44:/include/simgrid/config.h.in

diff --git a/include/simgrid/config.h.in b/include/simgrid/config.h.in
index bb4f27e346..6ef3fd76b1 100644
--- a/include/simgrid/config.h.in
+++ b/include/simgrid/config.h.in
@@ -13,8 +13,6 @@
 #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@