X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/68b1bce953f555998cd2915660ae51e8666105fc..053352ba13737467be4fc66c9a1c92bd84118bee:/src/include/mc/mc.h

diff --git a/src/include/mc/mc.h b/src/include/mc/mc.h
index 064a753a3b..454fc4bde1 100644
--- a/src/include/mc/mc.h
+++ b/src/include/mc/mc.h
@@ -31,6 +31,10 @@ XBT_PUBLIC(void) MC_transition_set_comm(mc_transition_t, smx_comm_t);
 XBT_PUBLIC(void) MC_memory_init(void);   /* Initialize the memory subsystem */
 XBT_PUBLIC(void) MC_memory_exit(void);
 
+/*
+ * Boolean indicating whether we want to activate the model-checker
+ */
+extern int _surf_do_model_check;
 
 
 SG_END_DECL()