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 0d7971634..4850ad357 100644 --- a/debugger/eval.ml +++ b/debugger/eval.ml @@ -159,7 +159,7 @@ and find_label lbl env ty path tydesc pos = function (* Error report *) -open Format +open Formatmsg let report_error error = open_box 0; |