src/Pure/ML-Systems/smlnj.ML
changeset 59055 5a7157b8e870
parent 56627 cb912b7de3cf
child 59127 723b11f8ffbf
     1.1 --- a/src/Pure/ML-Systems/smlnj.ML	Wed Nov 26 11:43:51 2014 +0100
     1.2 +++ b/src/Pure/ML-Systems/smlnj.ML	Wed Nov 26 14:35:55 2014 +0100
     1.3 @@ -76,7 +76,7 @@
     1.4  fun profile (n: int) f x = f x;
     1.5  
     1.6  (*dummy implementation*)
     1.7 -fun print_exception_trace (_: exn -> string) f = f ();
     1.8 +fun print_exception_trace (_: exn -> string) (_: string -> unit) f = f ();
     1.9  
    1.10  
    1.11  (* ML command execution *)