X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/d57f583f531c3ed96281734e99a3199e0a58ec3f..e9f0018b823e34405847177b25a85d3facc30ae1:/src/mc/Variable.hpp diff --git a/src/mc/Variable.hpp b/src/mc/Variable.hpp index 9b57dbcb9d..5ca55ab08c 100644 --- a/src/mc/Variable.hpp +++ b/src/mc/Variable.hpp @@ -11,12 +11,13 @@ #include -#include "mc_forward.h" -#include "mc/LocationList.hpp" +#include "src/mc/mc_forward.h" +#include "src/mc/LocationList.hpp" namespace simgrid { namespace mc { +/** A variable (global or local) in the model-checked program */ class Variable { public: Variable();