X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/f0527e5764cc4d3d4938180a54b7fee812444209..4e194aa6e85bdaafc9d69876bd7d2e79c74d5502:/src/mc/mc_model_checker.c

diff --git a/src/mc/mc_model_checker.c b/src/mc/mc_model_checker.c
index e3cc96165c..9482e45f04 100644
--- a/src/mc/mc_model_checker.c
+++ b/src/mc/mc_model_checker.c
@@ -16,6 +16,7 @@ mc_model_checker_t MC_model_checker_new(pid_t pid, int socket)
   mc->fd_clear_refs = -1;
   mc->fd_pagemap = -1;
   MC_process_init(&mc->process, pid, socket);
+  mc->hosts = xbt_dict_new();
   return mc;
 }
 
@@ -25,4 +26,5 @@ void MC_model_checker_delete(mc_model_checker_t mc)
   if(mc->record)
     xbt_dynar_free(&mc->record);
   MC_process_clear(&mc->process);
+  xbt_dict_free(&mc->hosts);
 }