X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/3086f8693ca7977af2f666bca46f733046b22996..3947c224ccae955ec9f879ebd894460c450f58ce:/src/mc/mc_global.cpp diff --git a/src/mc/mc_global.cpp b/src/mc/mc_global.cpp index 56169daff7..5ad3660d61 100644 --- a/src/mc/mc_global.cpp +++ b/src/mc/mc_global.cpp @@ -140,8 +140,6 @@ void replay(std::list> const& stack) /* Restore the initial state */ simgrid::mc::restore_snapshot(simgrid::mc::initial_global_state->snapshot); - /* At the moment of taking the snapshot the raw heap was set, so restoring - * it will set it back again, we have to unset it to continue */ if (_sg_mc_comms_determinism || _sg_mc_send_determinism) { // int n = xbt_dynar_length(incomplete_communications_pattern);