src/Pure/pattern.ML
changeset 16986 68bc6dbea7d6
parent 16939 87fc64d2409f
child 17203 29b2563f5c11
     1.1 --- a/src/Pure/pattern.ML	Mon Aug 01 19:20:39 2005 +0200
     1.2 +++ b/src/Pure/pattern.ML	Mon Aug 01 19:20:40 2005 +0200
     1.3 @@ -477,7 +477,7 @@
     1.4  
     1.5      fun variant_absfree bounds (x, T, t) =
     1.6        let
     1.7 -        val (x', t') = Term.dest_abs (Term.bound bounds x, T, t);
     1.8 +        val (x', t') = Term.dest_abs (Term.bound bounds, T, t);
     1.9          fun abs u = Abs (x, T, abstract_over (Free (x', T), u));
    1.10        in (abs, t') end;
    1.11