X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/06dbadb52775807739d0a87b6a8b009be06f4d5f..debe4e5871c0c3d1c714bbb1bd28ba7147454aa5:/src/mc/Variable.hpp diff --git a/src/mc/Variable.hpp b/src/mc/Variable.hpp index f3b8e0a4bb..b3a0817e64 100644 --- a/src/mc/Variable.hpp +++ b/src/mc/Variable.hpp @@ -1,4 +1,4 @@ -/* Copyright (c) 2007-2015. The SimGrid Team. +/* Copyright (c) 2007-2019. The SimGrid Team. * All rights reserved. */ /* This program is free software; you can redistribute it and/or modify it @@ -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;