#include <sstream>
#include <string>
-namespace simgrid {
-namespace mc {
+namespace simgrid::mc {
/** An element in the recorded path
*
/** Make a new transition from serialized description */
Transition* deserialize_transition(aid_t issuer, int times_considered, std::stringstream& stream);
-} // namespace mc
-} // namespace simgrid
+} // namespace simgrid::mc
#endif