model-checker : free memory

diff --git a/src/mc/mc_checkpoint.c b/src/mc/mc_checkpoint.c
index f7c9b83..872165a 100644 (file)
--- 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");
 
   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;
 
     if(n == 0)
       continue;


@@ -317,6 +317,7 @@ void get_plt_section(){
     
   }
 
     
   }
 

+  free(command);

   free(line);
   pclose(fp);
 
   free(line);
   pclose(fp);