X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/9006d78ba8a08a6500c994bb8141f48376448fc4..32417005181718d147397265dff392af44eedc3b:/src/include/mc/mc.h

diff --git a/src/include/mc/mc.h b/src/include/mc/mc.h
index 3073498062..4b34fd6733 100644
--- a/src/include/mc/mc.h
+++ b/src/include/mc/mc.h
@@ -15,6 +15,7 @@
 #include "simgrid/modelchecker.h" /* our public interface (and definition of HAVE_MC) */
 #include "xbt/automaton.h"
 
+#define STD_HEAP_SIZE   20480000        /* Maximum size of the system's heap */
 
 SG_BEGIN_DECL()