model-checker : remove unnecessary take_snapshot for initial state

diff --git a/src/mc/mc_dpor.c b/src/mc/mc_dpor.c
index ac40618..3c56d0d 100644 (file)
--- 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;