#include <type_traits>
-namespace simgrid {
-namespace mc {
+namespace simgrid::mc {
/** A channel for exchanging messages between model-checker and model-checked app
*
int get_socket() const { return socket_; }
};
-} // namespace mc
-} // namespace simgrid
+} // namespace simgrid::mc
#endif