From d9b0f412e4a9e90662aba1fb6d7e9c90495cbff7 Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Fri, 6 Jan 2006 12:11:32 +0000
Subject: [PATCH] - Added a good idea.

---
 src/todo.txt | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/todo.txt b/src/todo.txt
index 76d8a94..a6b8544 100644
--- a/src/todo.txt
+++ b/src/todo.txt
@@ -1,4 +1,5 @@
-- Is the Goal structure really needed?
+- Add '--untyped' check for typeflaw detection (instead of the fairly
+  vague '--match'.
 - Warshall is taking a third of the time running.
   - Make 'dirty' flag.
   - Make a push-graph structure, where old graphs are simply remembered?