diff -r 1bc3b688548c -r fff6f11b1f09 src/Pure/goal_display.ML
--- a/src/Pure/goal_display.ML	Tue Nov 24 14:37:23 2009 +0100
+++ b/src/Pure/goal_display.ML	Tue Nov 24 17:28:25 2009 +0100
@@ -99,7 +99,7 @@
       (if main then [prt_term B] else []) @
        (if ngoals = 0 then [Pretty.str "No subgoals!"]
         else if ngoals > maxgoals then
-          pretty_subgoals (Library.take (maxgoals, As)) @
+          pretty_subgoals ((uncurry take) (maxgoals, As)) @
           (if total then [Pretty.str ("A total of " ^ string_of_int ngoals ^ " subgoals...")]
            else [])
         else pretty_subgoals As) @