-/* Copyright (c) 2007-2020. The SimGrid Team.
+/* Copyright (c) 2007-2023. The SimGrid Team.
* All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
#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 {
simgrid::mc::ObjectInformation* object_info = nullptr;
};
-} // namespace mc
-} // namespace simgrid
+} // namespace simgrid::mc
#endif