From c9eaf1f95f1acce8ae496df3e610fbc9bdd0b043 Mon Sep 17 00:00:00 2001 From: ccremers Date: Tue, 3 Jan 2006 11:34:27 +0000 Subject: [PATCH] - Minor stuff. --- src/output.c | 1 - src/todo.txt | 1 + 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/src/output.c b/src/output.c index 470d7b9..94457f0 100644 --- a/src/output.c +++ b/src/output.c @@ -3,7 +3,6 @@ * * Outputs an attack. * Currently, every attack is printed. - * TODO move attacks to a buffer, and print _only_ the shortest one. */ #include diff --git a/src/todo.txt b/src/todo.txt index 5cda8f2..76d8a94 100644 --- a/src/todo.txt +++ b/src/todo.txt @@ -1,3 +1,4 @@ +- Is the Goal structure really needed? - Warshall is taking a third of the time running. - Make 'dirty' flag. - Make a push-graph structure, where old graphs are simply remembered?