changeset 53709 | 84522727f9d3 |
parent 50911 | ee7fe4230642 |
child 54342 | fbcaa9f08879 |
--- a/src/Pure/ML-Systems/smlnj.ML Wed Sep 18 11:36:12 2013 +0200 +++ b/src/Pure/ML-Systems/smlnj.ML Wed Sep 18 13:18:51 2013 +0200 @@ -73,7 +73,7 @@ fun profile (n: int) f x = f x; (*dummy implementation*) -fun exception_trace f = f (); +fun print_exception_trace (_: exn -> string) f = f (); (* ML command execution *)