Merge branch 'wifi_clean' into 'master'

[simgrid.git] / src / mc / inspect / Variable.hpp

diff --git a/src/mc/inspect/Variable.hpp b/src/mc/inspect/Variable.hpp
index c3b5395eed25d45445d8704e51b9dc3484ed59ae..2f837942d707a5c480134e4f4635c59390f659c1 100644 (file)
--- a/src/mc/inspect/Variable.hpp
+++ b/src/mc/inspect/Variable.hpp
@@ -14,8 +14,7 @@
 #include "src/mc/inspect/LocationList.hpp"
 #include "src/mc/mc_forward.hpp"
 
-namespace simgrid {
-namespace mc {
+namespace simgrid::mc {
 
 /** A variable (global or local) in the model-checked program */
 class Variable {
@@ -43,7 +42,6 @@ public:
   simgrid::mc::ObjectInformation* object_info = nullptr;
 };
 
-} // namespace mc
-} // namespace simgrid
+} // namespace simgrid::mc
 
 #endif