X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/96cedde3cdbc0b8ffc3f096a1b65d021b0226f99..7233106ddd4d22acaefbba0e6167350caaafe65d:/src/mc/mc_smx.hpp?ds=sidebyside 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`. *