# HG changeset patch
# User blanchet
# Date 1346756550 -7200
# Node ID 000deee4913ec985a4c88e41439fd0ad41424955
# Parent  3d520eec27467e2bc4f5f9ea27f844b6e2110412
tuned TODO comment

diff -r 3d520eec2746 -r 000deee4913e src/HOL/Codatatype/Tools/bnf_wrap.ML
--- a/src/HOL/Codatatype/Tools/bnf_wrap.ML	Tue Sep 04 13:02:30 2012 +0200
+++ b/src/HOL/Codatatype/Tools/bnf_wrap.ML	Tue Sep 04 13:02:30 2012 +0200
@@ -68,7 +68,6 @@
     (* TODO: attributes (simp, case_names, etc.) *)
     (* TODO: case syntax *)
     (* TODO: integration with function package ("size") *)
-    (* TODO: omission of needless discriminators *)
 
     val ctrs0 = map (prep_term no_defs_lthy) raw_ctrs;
     val caseof0 = prep_term no_defs_lthy raw_caseof;