From adf9f3647a001bb30fc04dd222b09de201ae1aa5 Mon Sep 17 00:00:00 2001
From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Mon, 30 Jul 2012 22:47:05 +0200
Subject: [PATCH] model-checker : free memory

---
 src/mc/mc_checkpoint.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/mc/mc_checkpoint.c b/src/mc/mc_checkpoint.c
index f7c9b83a39..872165a7a8 100644
--- a/src/mc/mc_checkpoint.c
+++ b/src/mc/mc_checkpoint.c
@@ -283,7 +283,7 @@ void get_plt_section(){
   if(fp == NULL)
     perror("popen failed");
 
-  while ((read = getline(&line, &n, fp)) != -1 && plt_not_found) {
+  while ((read = getline(&line, &n, fp)) != -1 && plt_not_found == 1) {
 
     if(n == 0)
       continue;
@@ -317,6 +317,7 @@ void get_plt_section(){
     
   }
 
+  free(command);
   free(line);
   pclose(fp);
 
-- 
2.20.1