X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/b2b401f886e6e1c849e1dcd5b70a7133ba4859f9..7641e1b61b13d593d2eb86fc7cbcb6c8bcb89d8d:/src/mc/mc_global.c

diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c
index addfdbbcc4..7da8e4b9be 100644
--- a/src/mc/mc_global.c
+++ b/src/mc/mc_global.c
@@ -116,7 +116,6 @@ void MC_init_liveness_stateful(xbt_automaton_t a){
 
   MC_UNSET_RAW_MEM;
 
-  //MC_vddfs_stateful_init(a);
   MC_ddfs_stateful_init(a);
   //MC_dpor2_init(a);
   //MC_dpor3_init(a);