On flushe dans print

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@446 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
1995-11-15 09:33:15 +00:00 · 1995-11-15 09:33:15 +00:00 · 042febb925
parent a39a8cbbac
commit 042febb925
1 changed files with 1 additions and 0 deletions
--- 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 =