# HG changeset patch
# User wenzelm
# Date 1120579919 -7200
# Node ID f8ca6976222187d61d1d5486e9e85eb8cedffde7
# Parent  75f39d66425d4e057a56482a5ed87d3921950165
tuned K;

diff -r 75f39d66425d -r f8ca69762221 src/Pure/library.ML
--- a/src/Pure/library.ML	Tue Jul 05 16:49:15 2005 +0200
+++ b/src/Pure/library.ML	Tue Jul 05 18:11:59 2005 +0200
@@ -296,7 +296,7 @@
 fun curry f x y = f (x, y);
 fun uncurry f (x, y) = f x y;
 fun I x = x;
-fun K x y = x;
+fun K x = fn y => x;
 
 (*reverse apply*)
 fun (x |> f) = f x;