removed obsolete comment;
authorwenzelm
Thu Oct 04 16:07:20 2001 +0200 (2001-10-04)
changeset 1168938788d98504f
parent 11688 56833637db2a
child 11690 cb64368fb405
removed obsolete comment;
src/Pure/meta_simplifier.ML
     1.1 --- a/src/Pure/meta_simplifier.ML	Thu Oct 04 15:43:17 2001 +0200
     1.2 +++ b/src/Pure/meta_simplifier.ML	Thu Oct 04 16:07:20 2001 +0200
     1.3 @@ -909,8 +909,6 @@
     1.4      prover: how to solve premises in conditional rewrites and congruences
     1.5  *)
     1.6  
     1.7 -(* FIXME: check that #bounds(mss) does not "occur" in ct already *)
     1.8 -
     1.9  fun rewrite_cterm mode prover mss ct =
    1.10    let val {sign, t, maxidx, ...} = rep_cterm ct
    1.11        val Mss{depth, ...} = mss