XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_Session, mc, "Model-checker session");
XBT_LOG_EXTERNAL_CATEGORY(mc_global);
-namespace simgrid {
-namespace mc {
+namespace simgrid::mc {
template <class Code> void run_child_process(int socket, Code code)
{
throw DeadlockError();
}
}
-}
-}
+} // namespace simgrid::mc