| changeset 59055 | 5a7157b8e870 |
| parent 57834 | 0d295e339f52 |
| child 59127 | 723b11f8ffbf |
--- a/src/Pure/ML-Systems/polyml.ML Wed Nov 26 11:43:51 2014 +0100 +++ b/src/Pure/ML-Systems/polyml.ML Wed Nov 26 14:35:55 2014 +0100 @@ -93,7 +93,7 @@ (* ML runtime system *) -fun print_exception_trace (_: exn -> string) = PolyML.exception_trace; +fun print_exception_trace (_: exn -> string) (_: string -> unit) = PolyML.exception_trace; val timing = PolyML.timing; val profiling = PolyML.profiling;