X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/71daf4c9813145587e68d18293e8043193b00915..41d5f3c8a30bf77b309143b174ea5a616b24c5c2:/src/mc/mc_compare.c?ds=sidebyside

diff --git a/src/mc/mc_compare.c b/src/mc/mc_compare.c
index d0b8fff820..bc91e37605 100644
--- a/src/mc/mc_compare.c
+++ b/src/mc/mc_compare.c
@@ -155,9 +155,7 @@ void stack_region_free_voidp(void *s){
 }
 
 static void heap_equality_free(heap_equality_t e){
-  if(e){
-    xbt_free(e);
-  }
+  xbt_free(e);
 }
 
 void heap_equality_free_voidp(void *e){