diff options
Diffstat (limited to 'debugger/envaux.ml')
| -rw-r--r-- | debugger/envaux.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debugger/envaux.ml b/debugger/envaux.ml index 89e79c829..e19775d7c 100644 --- a/debugger/envaux.ml +++ b/debugger/envaux.ml @@ -75,7 +75,7 @@ let env_of_event = (* Error report *) -open Format +open Formatmsg let report_error error = open_box 0; |