Merge branch 'master' of https://framagit.org/simgrid/simgrid

[simgrid.git] / src / mc / api / guide / BasicGuide.hpp

diff --git a/src/mc/api/guide/BasicGuide.hpp b/src/mc/api/guide/BasicGuide.hpp
index aaba45a..62367a2 100644 (file)
--- a/src/mc/api/guide/BasicGuide.hpp
+++ b/src/mc/api/guide/BasicGuide.hpp
@@ -15,7 +15,6 @@ public:
 
   std::pair<aid_t, double> next_transition() const override
   {
-
     for (auto const& [aid, actor] : actors_to_run_) {
       /* Only consider actors (1) marked as interleaving by the checker and (2) currently enabled in the application */
       if (not actor.is_todo() || not actor.is_enabled() || actor.is_done()) {