X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/3c1410cbe922ae6914af6ecc7cd6b63ec1bf7a64..6c12a132ca10eefd1d566e489e837e459db4d979:/src/mc/mc_visited.c

diff --git a/src/mc/mc_visited.c b/src/mc/mc_visited.c
index cf37ea6ef3..c644abf4b4 100644
--- a/src/mc/mc_visited.c
+++ b/src/mc/mc_visited.c
@@ -54,8 +54,7 @@ void visited_state_free_voidp(void *s)
 static mc_visited_state_t visited_state_new()
 {
   mc_process_t process = &(mc_model_checker->process);
-  mc_visited_state_t new_state = NULL;
-  new_state = xbt_new0(s_mc_visited_state_t, 1);
+  mc_visited_state_t new_state = xbt_new0(s_mc_visited_state_t, 1);
   new_state->heap_bytes_used = mmalloc_get_bytes_used_remote(
     MC_process_get_heap(process)->heaplimit,
     MC_process_get_malloc_info(process));