From aa564d7cccfd9298e72adb5cd5223048816df64c Mon Sep 17 00:00:00 2001 From: ccremers Date: Fri, 9 Jul 2004 09:30:32 +0000 Subject: [PATCH] - State counter issue should be fixed. --- src/todo.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/src/todo.txt b/src/todo.txt index 04c974b..d034ee5 100644 --- a/src/todo.txt +++ b/src/todo.txt @@ -1,3 +1,4 @@ +- State counter is off by one. Should start at 1, or should add 1 at printing. - Make filter switch, allowing maybe for some claims only to be evaluated. --check=Secret, --check-all as default. - Some compiler errors are still sent to stdout. This must be fixed