X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/7d64a0a97ff82b66dccd648ee5f40997d2e39dc6..01e2c00cfea470a9ddb77a0712888969a530eccd:/src/mc/api/State.cpp

diff --git a/src/mc/api/State.cpp b/src/mc/api/State.cpp
index 6fb9160f84..3c948ea958 100644
--- a/src/mc/api/State.cpp
+++ b/src/mc/api/State.cpp
@@ -29,7 +29,6 @@ State::State(const RemoteApp& remote_app, const State* previous_state) : num_(++
 
   remote_app.get_actors_status(actors_to_run_);
 
-  transition_.reset(new Transition());
   /* Stateful model checking */
   if ((_sg_mc_checkpoint > 0 && (num_ % _sg_mc_checkpoint == 0)) || _sg_mc_termination) {
     system_state_ = std::make_shared<simgrid::mc::Snapshot>(num_);