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 =