X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/4dab43b565697db8842f7bdaf9baa4c28f5a2082..932e745735378c442e2348a3a428d97b69398f86:/src/mc/SafetyChecker.cpp?ds=sidebyside

diff --git a/src/mc/SafetyChecker.cpp b/src/mc/SafetyChecker.cpp
index f79c6b98bf..e7c62e8a3f 100644
--- a/src/mc/SafetyChecker.cpp
+++ b/src/mc/SafetyChecker.cpp
@@ -132,7 +132,6 @@ int SafetyChecker::run()
     if (dot_output != nullptr)
       req_str = simgrid::mc::request_get_dot_output(req, value);
 
-    MC_state_set_executed_request(state, req, value);
     mc_stats->executed_transitions++;
 
     // TODO, bundle both operations in a single message