From 66168e45d86a88f36d29f5ee545a3c4cc97b887c Mon Sep 17 00:00:00 2001
From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Tue, 26 Aug 2014 11:29:46 +0200
Subject: [PATCH] [mc] Fix broken MC_region_destroy()

The current implementation either segfaults or does nothing.
---
 src/mc/mc_checkpoint.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/mc/mc_checkpoint.c b/src/mc/mc_checkpoint.c
index dd6eccc325..45708a72e5 100644
--- a/src/mc/mc_checkpoint.c
+++ b/src/mc/mc_checkpoint.c
@@ -65,7 +65,7 @@ static void local_variable_free_voidp(void *v)
 
 void MC_region_destroy(mc_mem_region_t reg)
 {
-  if (reg)
+  if (!reg)
     return;
 
   //munmap(reg->data, reg->size);
-- 
2.20.1