]> AND Public Git Repository - simgrid.git/blobdiff - src/mc/memory_map.c
Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : hash of regions in snapshot stored instead of all the data
[simgrid.git] / src / mc / memory_map.c
index a954ff901c7b52017dfe310958ad9cf830f1e905..1fe0b1ad955874f73cbfb3cdee427518780697d5 100644 (file)
@@ -144,8 +144,7 @@ memory_map_t get_memory_map(void)
 
   }
 
-  if(line)
-    free(line);
+  free(line);
 
   fclose(fp);