model-checker : fix ignore mechanism

[simgrid.git] / examples / simdag / sd_avail.c

diff --git a/examples/simdag/sd_avail.c b/examples/simdag/sd_avail.c
index 096bc08892194fe44ee83e74a0b0f89c4d9a37ce..00d1aefff2f206ddf3488b3a190f4c4b4cc56e6b 100644 (file)
--- a/examples/simdag/sd_avail.c
+++ b/examples/simdag/sd_avail.c
@@ -102,7 +102,9 @@ int main(int argc, char **argv)
       if (SD_task_get_state(task)==SD_DONE)
         SD_task_destroy(task);
     }
+    xbt_dynar_free_container(&changed_tasks);
   }
+  xbt_dynar_free_container(&changed_tasks);
   SD_exit();
   return 0;
 }