From e2936fea2cb322ff09366ff2828a11490c105b14 Mon Sep 17 00:00:00 2001
From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Mon, 28 Nov 2011 16:26:56 +0100
Subject: [PATCH] model-checker : remove test useless before free(line)

---
 src/mc/memory_map.c | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/mc/memory_map.c b/src/mc/memory_map.c
index a954ff901c..1fe0b1ad95 100644
--- a/src/mc/memory_map.c
+++ b/src/mc/memory_map.c
@@ -144,8 +144,7 @@ memory_map_t get_memory_map(void)
 
   }
 
-  if(line)
-    free(line);
+  free(line);
 
   fclose(fp);
 
-- 
2.20.1