X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/ff4bc56d5d0d4b1bf3e5c83e5af51ac3cc119789..6e0c79dea1a322c6dbc569725865b7b6b05b2099:/src/mc/explo/odpor/Execution.cpp diff --git a/src/mc/explo/odpor/Execution.cpp b/src/mc/explo/odpor/Execution.cpp index 8b531ff7b0..536c3f05a6 100644 --- a/src/mc/explo/odpor/Execution.cpp +++ b/src/mc/explo/odpor/Execution.cpp @@ -108,7 +108,6 @@ std::unordered_set Execution::get_racing_events_of(Execu if (disqualified_events.count(e_i) == 0) { XBT_DEBUG("ODPOR_RACING_EVENTS with `%u` : `%u` is a valid racing event", target, e_i); - disqualified_events.insert(e_i); racing_events.insert(e_i); disqualified_events.insert(e_i); }