diff options
Diffstat (limited to 'driver/errors.ml')
| -rw-r--r-- | driver/errors.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/driver/errors.ml b/driver/errors.ml index 03cd5690c..56c4e2f3c 100644 --- a/driver/errors.ml +++ b/driver/errors.ml @@ -63,7 +63,7 @@ let report_error ppf exn = | Sys_error msg -> fprintf ppf "I/O error: %s" msg | Warnings.Errors (n) -> - fprintf ppf "@.Error: %d error-enabled warnings occurred." n + fprintf ppf "@.Error: error-enabled warnings (%d occurrences)" n | x -> fprintf ppf "@]"; raise x in fprintf ppf "@[%a@]@." report exn |