* (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`.
*
XBT_PRIVATE const char* MC_smx_actor_get_name(smx_actor_t p);
XBT_PRIVATE const char* MC_smx_actor_get_host_name(smx_actor_t p);
-XBT_PRIVATE int MC_smpi_process_count(void);
-
XBT_PRIVATE unsigned long MC_smx_get_maxpid(void);
#endif