--- 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 *)