RemotePtr<kernel::actor::ActorImpl> address{nullptr};
Remote<kernel::actor::ActorImpl> copy;
- /** Hostname (owned by `mc_modelchecker->hostnames`) */
+ /** Hostname (owned by `mc_model_checker->hostnames_`) */
const xbt::string* hostname = nullptr;
std::string name;