From a023ff2e48aaf7ebfb15e10dc7cdb80ab2991e8e Mon Sep 17 00:00:00 2001
From: letouzey
Date: Tue, 22 May 2001 14:48:01 +0000
Subject: maj

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1760 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 contrib/extraction/TODO | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/contrib/extraction/TODO b/contrib/extraction/TODO
index 1a6c406804..62c23142ba 100644
--- a/contrib/extraction/TODO
+++ b/contrib/extraction/TODO
@@ -1,12 +1,10 @@
 
- 5. Haskell Syntax
+ 5. Tester Haskell Syntax
 
  7. Eta expansion for resolving message: "variables cannot be generalized"
 
  9. Doc!! (examples)
 
- 10. Comments in  extraction.ml
-
  11. test contribs
 	
  12.  Ocaml typing => magic + cast.
-- 
cgit v1.2.3