X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/05d68dfc42e0a317bba0cdbf0a346376aa7652ee..84c0bdd5d7ca6061f968338a071501e4d4d9a084:/src/mc/mc_private.h

diff --git a/src/mc/mc_private.h b/src/mc/mc_private.h
index 4839b41793..55ac04692d 100644
--- a/src/mc/mc_private.h
+++ b/src/mc/mc_private.h
@@ -261,6 +261,7 @@ typedef enum {
 extern e_mc_reduce_t mc_reduce_kind;
 extern mc_global_t initial_state_safety;
 extern xbt_fifo_t mc_stack_safety;
+extern xbt_dict_t first_enabled_state;
 
 void MC_dpor_init(void);
 void MC_dpor(void);