src/Pure/pattern.ML

--- a/src/Pure/pattern.ML	Mon Aug 01 19:20:39 2005 +0200
+++ b/src/Pure/pattern.ML	Mon Aug 01 19:20:40 2005 +0200
@@ -477,7 +477,7 @@
 
     fun variant_absfree bounds (x, T, t) =
       let
-        val (x', t') = Term.dest_abs (Term.bound bounds x, T, t);
+        val (x', t') = Term.dest_abs (Term.bound bounds, T, t);
         fun abs u = Abs (x, T, abstract_over (Free (x', T), u));
       in (abs, t') end;