X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/1610a3a014ca193868cd6ed987728201c15b423c:/src/mc/Variable.hpp..4bcfd40036f842e976d329cd0cee7349b8e0f4d6:/src/mc/inspect/Variable.hpp?ds=sidebyside

diff --git a/src/mc/Variable.hpp b/src/mc/inspect/Variable.hpp
similarity index 86%
rename from src/mc/Variable.hpp
rename to src/mc/inspect/Variable.hpp
index b3a0817e64..8c4f6c2145 100644
--- a/src/mc/Variable.hpp
+++ b/src/mc/inspect/Variable.hpp
@@ -11,8 +11,8 @@
 
 #include <string>
 
+#include "src/mc/inspect/LocationList.hpp"
 #include "src/mc/mc_forward.hpp"
-#include "src/mc/LocationList.hpp"
 
 namespace simgrid {
 namespace mc {
@@ -20,11 +20,11 @@ namespace mc {
 /** A variable (global or local) in the model-checked program */
 class Variable {
 public:
-  Variable() = default;
+  Variable()       = default;
   std::uint32_t id = 0;
-  bool global = false;
+  bool global      = false;
   std::string name;
-  unsigned type_id = 0;
+  unsigned type_id        = 0;
   simgrid::mc::Type* type = nullptr;
 
   /** Address of the variable (if it is fixed) */
@@ -43,7 +43,7 @@ public:
   simgrid::mc::ObjectInformation* object_info = nullptr;
 };
 
-}
-}
+} // namespace mc
+} // namespace simgrid
 
 #endif