X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/7e625e5e848a284b522d69ec28cb111f1f88515b..d68e1c39ec0832cb2391aedd17a868c597dd399e:/src/mc/transition/TransitionObjectAccess.cpp?ds=sidebyside

diff --git a/src/mc/transition/TransitionObjectAccess.cpp b/src/mc/transition/TransitionObjectAccess.cpp
index 33b4163012..f32e459008 100644
--- a/src/mc/transition/TransitionObjectAccess.cpp
+++ b/src/mc/transition/TransitionObjectAccess.cpp
@@ -48,12 +48,9 @@ bool ObjectAccessTransition::depends(const Transition* o) const
 
 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_));
-  }
+  xbt_assert(type_ == Type::OBJECT_ACCESS, "Unexpected transition type %s", to_c_str(type_));
+
+  return true; // Object access is always enabled
 }
 
 } // namespace simgrid::mc