src/Pure/General/basics.ML

--- a/src/Pure/General/basics.ML	Fri May 11 15:37:42 2007 +0200
+++ b/src/Pure/General/basics.ML	Fri May 11 17:54:36 2007 +0200
@@ -72,7 +72,8 @@
 fun `f = fn x => (f x, x);
 fun tap f = fn x => (f x; x);
 
-fun flip f x y = f y x
+fun flip f x y = f y x;
+
 
 (* options *)