From 0408a4538fc4bad9cc852dea70e585d713a60a32 Mon Sep 17 00:00:00 2001
From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Thu, 21 Mar 2013 14:04:50 +0100
Subject: [PATCH] model-checker : use xbt_free_f instead of a new function
 which do the same thing

---
 src/mc/mc_dpor.c | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/src/mc/mc_dpor.c b/src/mc/mc_dpor.c
index c9e1abb5af..d0ab84f0b9 100644
--- a/src/mc/mc_dpor.c
+++ b/src/mc/mc_dpor.c
@@ -11,10 +11,6 @@ XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_dpor, mc,
 xbt_dynar_t visited_states;
 xbt_dict_t first_enabled_state;
 
-static void dict_data_free(void *d){
-  xbt_free((char *)d);
-}
-
 static void visited_state_free(mc_visited_state_t state){
   if(state){
     MC_free_snapshot(state->system_state);
@@ -197,7 +193,7 @@ void MC_dpor_init()
   initial_state = MC_state_new();
   visited_states = xbt_dynar_new(sizeof(mc_visited_state_t), visited_state_free_voidp);
 
-  first_enabled_state = xbt_dict_new_homogeneous(&dict_data_free);
+  first_enabled_state = xbt_dict_new_homogeneous(&xbt_free_f);
 
   MC_UNSET_RAW_MEM;
 
-- 
2.20.1