X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/a82988d0e056ea07a7535534b11d1c4e8a5ebf0d..5e11c7363e10af116d37c7bc039694bf56e2688d:/src/mc/mc_global.c

diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c
index ab6b9bcf47..a2aa3588be 100644
--- a/src/mc/mc_global.c
+++ b/src/mc/mc_global.c
@@ -32,6 +32,8 @@ int _sg_mc_max_depth=1000;
 int _sg_mc_visited=0;
 char *_sg_mc_dot_output_file = NULL;
 
+int user_max_depth_reached = 0;
+
 extern int _sg_init_status;
 void _mc_cfg_cb_reduce(const char *name, int pos) {
   if (_sg_init_status && !_sg_do_model_check) {