From d931565ec0e75e437e26cd5b12f8bcf2bbd20445 Mon Sep 17 00:00:00 2001
From: Marion Guthmuller <marion.guthmuller@inria.fr>
Date: Thu, 3 Jul 2014 10:07:29 +0200
Subject: [PATCH] model-checker : check dict content before removing value

---
 src/mc/mc_global.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/mc/mc_global.c b/src/mc/mc_global.c
index 1ae1229903..21c7e36b21 100644
--- a/src/mc/mc_global.c
+++ b/src/mc/mc_global.c
@@ -576,7 +576,8 @@ void MC_replay(xbt_fifo_t stack, int start)
     if (mc_reduce_kind == e_mc_reduce_dpor) {
       MC_SET_MC_HEAP;
       char *key = bprintf("%lu", saved_req->issuer->pid);
-      xbt_dict_remove(first_enabled_state, key);
+      if(xbt_dict_get_or_null(first_enabled_state, key))
+         xbt_dict_remove(first_enabled_state, key);
       xbt_free(key);
       MC_SET_STD_HEAP;
     }
-- 
2.20.1