X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/b8df87e176f27b25534f27d7e240defa32ca35bc..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`. *