X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/1af181ed979a4dfa517e4a5f37d7a987ee0ec337..932e745735378c442e2348a3a428d97b69398f86:/src/mc/LivenessChecker.cpp

diff --git a/src/mc/LivenessChecker.cpp b/src/mc/LivenessChecker.cpp
index 567548fbba..be0149b7f4 100644
--- a/src/mc/LivenessChecker.cpp
+++ b/src/mc/LivenessChecker.cpp
@@ -398,9 +398,6 @@ int LivenessChecker::main(void)
       simgrid::mc::request_to_string(
         req, value, simgrid::mc::RequestType::simix).c_str());
 
-    /* Set request as executed */
-    MC_state_set_executed_request(current_pair->graph_state.get(), req, value);
-
     /* Update mc_stats */
     mc_stats->executed_transitions++;
     if (!current_pair->exploration_started)