Update an outdated comment

diff --git a/src/mc/mc_smx.cpp b/src/mc/mc_smx.cpp
index ca37c21..a2d3310 100644 (file)
--- a/src/mc/mc_smx.cpp
+++ b/src/mc/mc_smx.cpp
@@ -18,9 +18,6 @@ using simgrid::mc::remote;
  *   - `model_checker->process.smx_process_infos`
  *      (copy of `EngineImpl::actor_list_`);
  *
- *   - `model_checker->process.smx_old_process_infos`
- *      (copy of `EngineImpl::actors_to_destroy_`);
- *
  *   - `model_checker->hostnames`.
  *
  * The process lists are currently refreshed each time MCed code is executed.