Fix bug with immediate conflict detection

[simgrid.git] / src / mc / explo / udpor / Unfolding.cpp

diff --git a/src/mc/explo/udpor/Unfolding.cpp b/src/mc/explo/udpor/Unfolding.cpp
index d17274b67f9db08d1760293c0bdd88836d4a24e0..f224685676f21d62df63f05e3c1fff07b67502c2 100644 (file)
--- a/src/mc/explo/udpor/Unfolding.cpp
+++ b/src/mc/explo/udpor/Unfolding.cpp
@@ -53,7 +53,7 @@ EventSet Unfolding::get_immediate_conflicts_of(const UnfoldingEvent* e) const
   EventSet immediate_conflicts;
   for (const auto event : *this) {
     if (event->immediately_conflicts_with(e)) {
-      immediate_conflicts.insert(e);
+      immediate_conflicts.insert(event);
     }
   }
   return immediate_conflicts;