X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/2360ebdc92f76405540359ebf493c59811afd60c..010332f25ae86a0a93776a6b1df6de5cbc84da41:/src/mc/api/State.hpp diff --git a/src/mc/api/State.hpp b/src/mc/api/State.hpp index 31ce75675a..b6da4d53c1 100644 --- a/src/mc/api/State.hpp +++ b/src/mc/api/State.hpp @@ -1,4 +1,4 @@ -/* Copyright (c) 2007-2022. The SimGrid Team. All rights reserved. */ +/* Copyright (c) 2007-2023. The SimGrid Team. All rights reserved. */ /* This program is free software; you can redistribute it and/or modify it * under the terms of the license (GNU LGPL) which comes with this package. */ @@ -47,7 +47,7 @@ public: std::map const& get_actors_list() const { return actors_to_run_; } unsigned long get_actor_count() const { return actors_to_run_.size(); } - bool is_actor_enabled(int actor) { return actors_to_run_.at(actor).is_enabled(); } + bool is_actor_enabled(aid_t actor) { return actors_to_run_.at(actor).is_enabled(); } Snapshot* get_system_state() const { return system_state_.get(); } void set_system_state(std::shared_ptr state) { system_state_ = std::move(state); }