src/Pure/variable.ML

--- a/src/Pure/variable.ML	Wed Oct 21 10:15:31 2009 +0200
+++ b/src/Pure/variable.ML	Wed Oct 21 12:09:37 2009 +0200
@@ -301,7 +301,7 @@
     val names = names_of ctxt;
     val (xs', names') =
       if is_body ctxt then Name.variants xs names |>> map Name.skolem
-      else (no_dups (inter (op =) (xs, ys)); no_dups (inter (op =) (xs, zs));
+      else (no_dups (inter (op =) xs ys); no_dups (inter (op =) xs zs);
         (xs, fold Name.declare xs names));
   in ctxt |> new_fixes names' xs xs' end;