diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2010-01-20 16:26:46 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2010-01-20 16:26:46 +0000 |
| commit | bdc0fadee2dc9669818955486b4c3497016edda5 (patch) | |
| tree | 48047d836d903e84f7e0ae6d74613c2247c4fc81 /ocamldoc/odoc.ml | |
| parent | 8cd4fc63907a541d05f31a740632948d453f69f9 (diff) | |
| download | ocaml-bdc0fadee2dc9669818955486b4c3497016edda5.tar.gz | |
merge changes from release/3.11.1 to release/3.11.2
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@9540 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'ocamldoc/odoc.ml')
| -rw-r--r-- | ocamldoc/odoc.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ocamldoc/odoc.ml b/ocamldoc/odoc.ml index cdaf451efa..44bf366e62 100644 --- a/ocamldoc/odoc.ml +++ b/ocamldoc/odoc.ml @@ -81,11 +81,11 @@ let _ = prerr_endline (Odoc_messages.load_file_error file "Not_found"); exit 1 | Sys_error s - | Failure s -> + | Failure s -> prerr_endline (Odoc_messages.load_file_error file s); exit 1 -let _ = print_DEBUG "Fin du chargement dynamique éventuel" +let _ = print_DEBUG "Fin du chargement dynamique eventuel" let default_html_generator = new Odoc_html.html let default_latex_generator = new Odoc_latex.latex |