src/Pure/variable.ML

--- a/src/Pure/variable.ML	Tue Oct 20 13:37:56 2009 +0200
+++ b/src/Pure/variable.ML	Tue Oct 20 16:13:01 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 (xs inter_string ys); no_dups (xs inter_string zs);
+      else (no_dups (gen_inter (op =) (xs, ys)); no_dups (gen_inter (op =) (xs, zs));
         (xs, fold Name.declare xs names));
   in ctxt |> new_fixes names' xs xs' end;