diff options
Diffstat (limited to 'debugger/eval.ml')
| -rw-r--r-- | debugger/eval.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debugger/eval.ml b/debugger/eval.ml index 7f9f0a64f..3c200501e 100644 --- a/debugger/eval.ml +++ b/debugger/eval.ml @@ -143,7 +143,7 @@ and find_label lbl env ty path tydesc pos = function open Format let report_error error = - open_hovbox 0; + open_box 0; begin match error with Unbound_identifier id -> print_string "Unbound identifier "; print_string (Ident.name id) |