# HG changeset patch
# User wenzelm
# Date 1127296171 -7200
# Node ID 1ba448f96af10cebf879bec4e79270e15e940ff8
# Parent  929d157d43696ee51e4c983043261d5734f63deb
tuned;

diff -r 929d157d4369 -r 1ba448f96af1 src/Pure/library.ML
--- a/src/Pure/library.ML	Wed Sep 21 11:19:16 2005 +0200
+++ b/src/Pure/library.ML	Wed Sep 21 11:49:31 2005 +0200
@@ -312,11 +312,11 @@
 fun f #-> g = uncurry g o f;
 
 (*conditional application*)
-fun b ? f = fn x => if b x then f x else x
+fun b ? f = fn x => if b x then f x else x;
 
 (*view results*)
 fun `f = fn x => (f x, x);
-fun tap f x = (f x; x);
+fun tap f = fn x => (f x; x);
 
 (*composition with multiple args*)
 fun (f oo g) x y = f (g x y);