X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/dccf1b41e9c7b5a696f01abceaa2779fe65f154f..0e7d247670cc012d8e784d0c8bcbb70a1c0bb9c6:/src/mc/Variable.hpp diff --git a/src/mc/Variable.hpp b/src/mc/Variable.hpp index 5f43e5c79f..bf7f86a532 100644 --- a/src/mc/Variable.hpp +++ b/src/mc/Variable.hpp @@ -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;