X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/b8df87e176f27b25534f27d7e240defa32ca35bc..4bcfd40036f842e976d329cd0cee7349b8e0f4d6:/src/mc/mc_smx.hpp diff --git a/src/mc/mc_smx.hpp b/src/mc/mc_smx.hpp index 8e2bb3675b..3c7165d6d4 100644 --- a/src/mc/mc_smx.hpp +++ b/src/mc/mc_smx.hpp @@ -18,7 +18,7 @@ * (copy of `simix_global->process_list`); * * - `model_checker->process.smx_old_process_infos` - * (copy of `simix_global->process_to_destroy`); + * (copy of `simix_global->actors_to_destroy`); * * - `model_checker->hostnames`. *