X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/970087a9908d92cd6b234e84582771e4f4f25ceb..bd38fea6c9ed9ac4d381cbbfee938776553147fd:/src/mc/Variable.hpp diff --git a/src/mc/Variable.hpp b/src/mc/Variable.hpp index 9b57dbcb9d..804a7a726a 100644 --- a/src/mc/Variable.hpp +++ b/src/mc/Variable.hpp @@ -17,6 +17,7 @@ namespace simgrid { namespace mc { +/** A variable (global or local) in the model-checked program */ class Variable { public: Variable();