X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/06dbadb52775807739d0a87b6a8b009be06f4d5f..0e7d247670cc012d8e784d0c8bcbb70a1c0bb9c6:/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;