diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1995-11-15 09:33:15 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1995-11-15 09:33:15 +0000 |
| commit | 042febb9259087ec2e12b46a5682e830262ceb3c (patch) | |
| tree | 08473e2239e0158ac1648937c1fd382cde26593a /stdlib/printexc.ml | |
| parent | a39a8cbbaca86334a26f46c1f99e3dba84226b87 (diff) | |
On flushe dans print
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@446 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/printexc.ml')
| -rw-r--r-- | stdlib/printexc.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/stdlib/printexc.ml b/stdlib/printexc.ml index ffb0b2451..e75fb43ee 100644 --- a/stdlib/printexc.ml +++ b/stdlib/printexc.ml @@ -45,6 +45,7 @@ let print fct arg = fct arg with x -> print_exn x; + flush stderr; raise x let catch fct arg = |