X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/b204ff04eae43a5f5a8825141ae0647b92507bc8..c6bbeb1829c36ff45b43ab25f9d8d3f53f554d98:/src/mc/VisitedState.cpp

diff --git a/src/mc/VisitedState.cpp b/src/mc/VisitedState.cpp
index cb4d2d9b17..5b8919be6e 100644
--- a/src/mc/VisitedState.cpp
+++ b/src/mc/VisitedState.cpp
@@ -27,7 +27,6 @@ VisitedState::VisitedState(unsigned long state_number) : num(state_number)
   this->actors_count = mc_model_checker->process().actors().size();
 
   this->system_state = std::make_shared<simgrid::mc::Snapshot>(state_number);
-  this->original_num = -1;
 }
 
 void VisitedStates::prune()