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