From 6e950a19483819bab14656d866710e1233abf759 Mon Sep 17 00:00:00 2001
From: Thomas Kleymann
Date: Thu, 3 Sep 1998 15:50:33 +0000
Subject: A Sometimes e.g., ~tms/lego/imperative/recursion/Prepare_vc.l,  
 annotations are recorded in the object file. This needs to be   changed in
 the SML code. (initially 2h tms)

Done. :-)
---
 todo | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/todo b/todo
index 2f09cdc9..d40a10f5 100644
--- a/todo
+++ b/todo
@@ -143,10 +143,6 @@ C pbp code doesn't quite accord with the tech report; in particular it
 
 A fix Pbp implementation (10h; tms)
 
-A Sometimes e.g., ~tms/lego/imperative/recursion/Prepare_vc.l,
-  annotations are recorded in the object file. This needs to be
-  changed in the SML code. (initially 2h tms)
-
 C Mechanism to save object file
 
 B Equiv, Next,... aren't handled properly, because LEGO does not
-- 
cgit v1.2.3