#include "src/kernel/activity/CommImpl.hpp"
#include "src/mc/remote/RemotePtr.hpp"
-namespace simgrid {
-namespace mc {
+namespace simgrid::mc {
/* On every state, each actor has an entry of the following type.
* This represents both the actor and its transition because
void set_done() { this->state_ = InterleavingType::done; }
};
-} // namespace mc
-} // namespace simgrid
+} // namespace simgrid::mc
#endif