From d594119a18f55d9be480bfdc3897d4990e0444d8 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Sat, 21 Oct 2023 15:25:14 +0200
Subject: [PATCH] Fix the dependency of barrier from the same actor [Mathieu
 Laurent]

---
 src/mc/transition/TransitionSynchro.cpp | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/mc/transition/TransitionSynchro.cpp b/src/mc/transition/TransitionSynchro.cpp
index a0c16de759..df630eec34 100644
--- a/src/mc/transition/TransitionSynchro.cpp
+++ b/src/mc/transition/TransitionSynchro.cpp
@@ -29,6 +29,10 @@ bool BarrierTransition::depends(const Transition* o) const
   if (o->type_ < type_)
     return o->depends(this);
 
+  // Actions executed by the same actor are always dependent
+  if (o->aid_ == aid_)
+    return true;
+
   if (const auto* other = dynamic_cast<const BarrierTransition*>(o)) {
     if (bar_ != other->bar_)
       return false;
-- 
2.20.1