fixed comment-out;
authorwenzelm
Wed Jul 13 14:56:00 2005 +0200 (2005-07-13)
changeset 1679351600bfac176
parent 16792 e6ba3819e404
child 16794 12d00dab5301
fixed comment-out;
src/Pure/term.ML
     1.1 --- a/src/Pure/term.ML	Wed Jul 13 12:24:39 2005 +0200
     1.2 +++ b/src/Pure/term.ML	Wed Jul 13 14:56:00 2005 +0200
     1.3 @@ -1246,7 +1246,7 @@
     1.4  val add_frees =
     1.5    let fun add_frees' (Free v) = insert (op =) v
     1.6           | add_frees' _ = I
     1.7 -  in uncurry (fold_aterms add_frees') o swap end;*)
     1.8 +  in uncurry (fold_aterms add_frees') o swap end;
     1.9  
    1.10  (*collect variable names*)
    1.11  val add_term_varnames =