diff options
Diffstat (limited to 'stdlib/printexc.mli')
| -rw-r--r-- | stdlib/printexc.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/printexc.mli b/stdlib/printexc.mli index 37737253d..d8af7dfb8 100644 --- a/stdlib/printexc.mli +++ b/stdlib/printexc.mli @@ -26,5 +26,5 @@ val print: ('a -> 'b) -> 'a -> 'b (* Same as [catch], but re-raise the stray exception after printing it, instead of aborting the program. *) -val print_exn: exn -> unit - (* [print_exn e] prints [e] on standard error output. *) +val to_string : exn -> string + (* [Printexc.to_string e] returns a string representation of [e]. *) |