X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/9a4ec91cc24a9a54ff3a060cc2828ac54d0c0c26..5f5a10db6fc4552782638abb4817041223e17775:/src/simgrid/sg_version.cpp

diff --git a/src/simgrid/sg_version.cpp b/src/simgrid/sg_version.cpp
index 1428132895..953f6b1b49 100644
--- a/src/simgrid/sg_version.cpp
+++ b/src/simgrid/sg_version.cpp
@@ -50,12 +50,6 @@ void sg_version()
   XBT_HELP("This program was linked against %s (git: %s), found in %s.", SIMGRID_VERSION_STRING, SIMGRID_GIT_VERSION,
            SIMGRID_INSTALL_PREFIX);
 
-#if SIMGRID_HAVE_STATEFUL_MC
-  XBT_HELP("   Stateful model-checking support compiled in.");
-#else
-  XBT_HELP("   Stateful model-checking support disabled at compilation.");
-#endif
-
 #if SIMGRID_HAVE_NS3
   XBT_HELP("   ns-3 support compiled in.");
 #else