# HG changeset patch
# User blanchet
# Date 1428498246 -7200
# Node ID 5031030aaebe6f2a7c4580eb10f565c1bde2bf3c
# Parent  e936c2828bec86ae789cbc0246ce5f6b3956ddc1
removed TODO

diff -r e936c2828bec -r 5031030aaebe src/HOL/Tools/BNF/bnf_comp.ML
--- a/src/HOL/Tools/BNF/bnf_comp.ML	Wed Apr 08 15:02:40 2015 +0200
+++ b/src/HOL/Tools/BNF/bnf_comp.ML	Wed Apr 08 15:04:06 2015 +0200
@@ -102,7 +102,6 @@
 fun cache_comp key (bnf_Ds_As, ((cache, unfold_set), lthy)) =
   (bnf_Ds_As, ((Typtab.update (key, bnf_Ds_As) cache, unfold_set), lthy));
 
-(* TODO: Replace by "BNF_Defs.defs list"? *)
 type unfold_set = {
   map_unfolds: thm list,
   set_unfoldss: thm list list,