summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>2001-12-03 10:15:57 +0000
committerXavier Leroy <xavier.leroy@inria.fr>2001-12-03 10:15:57 +0000
commite79a1b8571c5add7f62b89e52ba3e7faac28b463 (patch)
tree9c2701107e7370ae19d60165be0b75be08175ce0
parenta43607ad5cf734b698f9321e3911ee4304e82f70 (diff)
Dans message, Uncaught exception -> exception (plus PC)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4073 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--toplevel/toploop.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/toploop.ml b/toplevel/toploop.ml
index de43098fb..7a676bdb1 100644
--- a/toplevel/toploop.ml
+++ b/toplevel/toploop.ml
@@ -203,7 +203,7 @@ let print_out_exception ppf exn outv =
| Stack_overflow ->
fprintf ppf "Stack overflow during evaluation (looping recursion?).@."
| _ ->
- fprintf ppf "@[Uncaught exception:@ %a.@]@." !print_out_value outv
+ fprintf ppf "@[Exception:@ %a.@]@." !print_out_value outv
let print_exception_outcome ppf exn =
if exn = Out_of_memory then Gc.full_major ();