Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] s/getRecordElement/getTransition/
[simgrid.git] / src / mc / mc_state.cpp
index a40b2ca..8f675cf 100644 (file)
@@ -60,7 +60,7 @@ std::size_t State::interleaveSize() const
     [](simgrid::mc::ProcessState const& state) { return state.isToInterleave(); });
 }
 
-Transition State::getRecordElement() const
+Transition State::getTransition() const
 {
   return this->transition;
 }