From 6e0c79dea1a322c6dbc569725865b7b6b05b2099 Mon Sep 17 00:00:00 2001
From: mlaurent <mathieu.laurent@ens-rennes.fr>
Date: Wed, 8 Nov 2023 19:05:17 +0100
Subject: [PATCH] Redondant line in insertion

---
 src/mc/explo/odpor/Execution.cpp | 1 -
 1 file changed, 1 deletion(-)

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::EventHandle> 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);
     }
-- 
2.20.1