src/Pure/Syntax/syntax.ML

     else
       (warning (cat_lines
         (("Ambiguous input" ^ Position.str_of pos ^
           "\nproduces " ^ string_of_int len ^ " parse trees" ^
           (if len <= limit then "" else " (" ^ string_of_int limit ^ " displayed)") ^ ":") ::
-          map show_pt (Library.take (limit, pts)))));
+          map show_pt ((uncurry take) (limit, pts)))));
     SynTrans.pts_to_asts ctxt (lookup_tr parse_ast_trtab) pts
   end;
 
 
 (* read *)

               \You may still want to disambiguate your grammar or your input."
           else (); hd results)
         else cat_error (ambig_msg ()) (cat_lines
           (("Ambiguous input, " ^ string_of_int len ^ " terms are type correct" ^
             (if len <= limit then "" else " (" ^ string_of_int limit ^ " displayed)") ^ ":") ::
-            map (Pretty.string_of_term pp) (Library.take (limit, results))))
+            map (Pretty.string_of_term pp) ((uncurry take) (limit, results))))
       end;
 
 fun standard_parse_term pp check get_sort map_const map_free map_type map_sort
     ctxt is_logtype syn ty (syms, pos) =
   read ctxt is_logtype syn ty (syms, pos)