X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/ebc5f7ed172f242031fc644120ce45f690b619bc..0caecdf74ead0d19cc3b13eeb96dcd206243d71e:/src/mc/mc_state.h

diff --git a/src/mc/mc_state.h b/src/mc/mc_state.h
index 851d7c07b5..43554bffd0 100644
--- a/src/mc/mc_state.h
+++ b/src/mc/mc_state.h
@@ -143,7 +143,7 @@ struct XBT_PRIVATE State {
   {
     this->processStates[process->pid].interleave();
   }
-  Transition getRecordElement() const;
+  Transition getTransition() const;
 };
 
 XBT_PRIVATE void replay(std::list<std::unique_ptr<simgrid::mc::State>> const& stack);