From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Wed, 6 Apr 2016 07:48:16 +0000 (+0200)
Subject: [mc] Remove duplicate init in State
X-Git-Tag: v3_13~158
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/3c837a3c6d520c4c29fb1b8203464fbe049e8e41

[mc] Remove duplicate init in State
---

diff --git a/src/mc/mc_state.cpp b/src/mc/mc_state.cpp
index 2012bcd113..03b461fccf 100644
--- a/src/mc/mc_state.cpp
+++ b/src/mc/mc_state.cpp
@@ -30,9 +30,6 @@ XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_state, mc,
 simgrid::mc::State* MC_state_new()
 {
   simgrid::mc::State* state = new simgrid::mc::State();
-  std::memset(&state->internal_comm, 0, sizeof(state->internal_comm));
-  std::memset(&state->internal_req, 0, sizeof(state->internal_req));
-  std::memset(&state->executed_req, 0, sizeof(state->executed_req));
   state->processStates.resize(MC_smx_get_maxpid());
   state->num = ++mc_stats->expanded_states;
   /* Stateful model checking */