src/Pure/name.ML

--- a/src/Pure/name.ML	Mon Nov 27 23:48:10 2006 +0100
+++ b/src/Pure/name.ML	Tue Nov 28 00:35:18 2006 +0100
@@ -123,7 +123,7 @@
           val x0 = Symbol.bump_init x;
           val x' = vary x0;
           val ctxt' = ctxt
-            |> K (x0 <> x') ? declare_renaming (x0, x')
+            |> x0 <> x' ? declare_renaming (x0, x')
             |> declare x';
         in (x', ctxt') end;
   in (x' ^ replicate_string n "_", ctxt') end);