diff options
author | Jérôme Vouillon <Jerome.Vouillon@pps.jussieu.fr> | 1997-03-23 15:23:31 +0000 |
---|---|---|
committer | Jérôme Vouillon <Jerome.Vouillon@pps.jussieu.fr> | 1997-03-23 15:23:31 +0000 |
commit | 6c0ee27812a2b08343e5d0fa20247f2b6c3aa4f3 (patch) | |
tree | de5efbbec008b2c2ed7293991438cd5778dea8cd /debugger/printval.ml | |
parent | f41d91f465c76db1658a0b297692ec1eca78d059 (diff) | |
download | ocaml-6c0ee27812a2b08343e5d0fa20247f2b6c3aa4f3.tar.gz |
Les exceptions non rattrapees n'etaient pas affichees...
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1446 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'debugger/printval.ml')
-rw-r--r-- | debugger/printval.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/debugger/printval.ml b/debugger/printval.ml index 2bb9a0d09b..56ca2a8884 100644 --- a/debugger/printval.ml +++ b/debugger/printval.ml @@ -63,6 +63,8 @@ let remove_printer = Printer.remove_printer let max_printer_depth = ref 20 let max_printer_steps = ref 300 +let print_exception = Printer.print_exception + let print_value max_depth obj ty env = Printer.print_value !max_printer_steps max_depth check_depth env obj ty |