diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1996-07-15 16:33:27 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1996-07-15 16:33:27 +0000 |
| commit | adc56cf1b2914dc5eb43e47b916c85e9a3f62946 (patch) | |
| tree | e145091b9809fbadb0d3fb7c8ae585f5f484c618 | |
| parent | 65d4129afd91fa03f1708609a7010d808dffc75b (diff) | |
MAJ apres la modif de Format.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@928 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | driver/optmain.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/driver/optmain.ml b/driver/optmain.ml index 7bfe26e53..71597936b 100644 --- a/driver/optmain.ml +++ b/driver/optmain.ml @@ -94,7 +94,7 @@ let main () = end; exit 0 with x -> - Format.set_formatter_output stderr; + Format.set_formatter_out_channel stderr; Opterrors.report_error x; exit 2 |