X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/41966a6d30f870c0c7cc5ad5e64c0263e63970a8..50753d5f8442a47c17c4035724201a18a7ff6146:/src/mc/api/State.hpp diff --git a/src/mc/api/State.hpp b/src/mc/api/State.hpp index f0994e8aa5..a0c68f4d21 100644 --- a/src/mc/api/State.hpp +++ b/src/mc/api/State.hpp @@ -87,7 +87,7 @@ public: void set_system_state(std::shared_ptr state) { system_state_ = std::move(state); } std::map const& get_sleep_set() const { return sleep_set_; } - void add_sleep_set(Transition* t) + void add_sleep_set(const Transition* t) { sleep_set_.insert_or_assign(t->aid_, Transition(t->type_, t->aid_, t->times_considered_)); }