X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/1e1a18a0b8d75deb509860d08b75a27df4e935c8..a49a03122b2def71ff741e78d15b38cd1d171184:/src/mc/Variable.hpp diff --git a/src/mc/Variable.hpp b/src/mc/Variable.hpp index f3b8e0a4bb..bf7f86a532 100644 --- a/src/mc/Variable.hpp +++ b/src/mc/Variable.hpp @@ -11,7 +11,7 @@ #include -#include "src/mc/mc_forward.h" +#include "src/mc/mc_forward.hpp" #include "src/mc/LocationList.hpp" namespace simgrid { @@ -20,7 +20,7 @@ namespace mc { /** A variable (global or local) in the model-checked program */ class Variable { public: - Variable() {} + Variable() = default; std::uint32_t id = 0; bool global = false; std::string name;