X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/6260d187764dc644d699e1a53454f7efdcc682df..7e625e5e848a284b522d69ec28cb111f1f88515b:/src/mc/transition/TransitionObjectAccess.cpp

diff --git a/src/mc/transition/TransitionObjectAccess.cpp b/src/mc/transition/TransitionObjectAccess.cpp
index 0936359886..33b4163012 100644
--- a/src/mc/transition/TransitionObjectAccess.cpp
+++ b/src/mc/transition/TransitionObjectAccess.cpp
@@ -46,4 +46,14 @@ bool ObjectAccessTransition::depends(const Transition* o) const
   return false;
 }
 
+bool ObjectAccessTransition::reversible_race(const Transition* other) const
+{
+  switch (type_) {
+    case Type::OBJECT_ACCESS:
+      return true; // Object access is always enabled
+    default:
+      xbt_die("Unexpected transition type %s", to_c_str(type_));
+  }
+}
+
 } // namespace simgrid::mc