X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/285ff67ae5a80f4e452685a47c64faf387e67ee1..3c19913ffaeae44ebfdaea24d987dcb5947edd1b:/src/mc/mc_exit.h

diff --git a/src/mc/mc_exit.h b/src/mc/mc_exit.h
index 0b17cacad4..7889d720d7 100644
--- a/src/mc/mc_exit.h
+++ b/src/mc/mc_exit.h
@@ -7,6 +7,7 @@
 #define SIMGRID_EXIT_DEADLOCK 3
 #define SIMGRID_EXIT_NON_TERMINATION 4
 #define SIMGRID_EXIT_NON_DETERMINISM 5
+#define SIMGRID_PROGRAM_CRASH 6
 
 #define SIMGRID_ERROR         63