model-checker : some cleanup in mmalloc_compare_heap (free memory, delete unnecessary...

[simgrid.git] / TODO

diff --git a/TODO b/TODO
index 2fce8bf..6239595 100644 (file)
--- a/TODO
+++ b/TODO
@@ -1,4 +1,14 @@
 
+###
+### Urgent stuff:
+###
+
+* Have a proper todo file
+
+
+
+
+