From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Fri, 6 Jul 2012 13:45:40 +0000 (+0200)
Subject: model-checker : remove unnecessary take_snapshot for initial state
X-Git-Tag: v3_8~296
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/2c97c5ef3be01a819e6b0012511f6268d3208799

model-checker : remove unnecessary take_snapshot for initial state
---

diff --git a/src/mc/mc_dpor.c b/src/mc/mc_dpor.c
index ac406184ee..3c56d0d478 100644
--- a/src/mc/mc_dpor.c
+++ b/src/mc/mc_dpor.c
@@ -39,9 +39,6 @@ void MC_dpor_init()
     }
   }
 
-  initial_state->system_state = xbt_new0(s_mc_snapshot_t, 1);
-  MC_take_snapshot(initial_state->system_state);
-
   xbt_fifo_unshift(mc_stack_safety, initial_state);
 
   MC_UNSET_RAW_MEM;