[mc] Fix broken MC_region_destroy()

The current implementation either segfaults or does nothing.

diff --git a/src/mc/mc_checkpoint.c b/src/mc/mc_checkpoint.c
index dd6eccc3256b8ec8873d937ee909a8873079028d..45708a72e57c1bb374de6238c8ee28baf420675f 100644 (file)
--- 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);