X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/3dea830fcf83870034f5542b0007d2799ad9e697..78ad8111935dd39520e2cbae135e042817d78583:/src/mc/mc_visited.cpp diff --git a/src/mc/mc_visited.cpp b/src/mc/mc_visited.cpp index bd6cb0a640..d0f79873f7 100644 --- a/src/mc/mc_visited.cpp +++ b/src/mc/mc_visited.cpp @@ -37,9 +37,8 @@ static int is_exploration_stack_state(mc_visited_state_t state){ void visited_state_free(mc_visited_state_t state) { if (state) { - if(!is_exploration_stack_state(state)){ - MC_free_snapshot(state->system_state); - } + if(!is_exploration_stack_state(state)) + delete state->system_state; xbt_free(state); } }