diff options
| author | Alain Frisch <alain@frisch.fr> | 2013-09-12 14:21:04 +0000 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2013-09-12 14:21:04 +0000 |
| commit | 2e16ccd61f432134b67898435cc1c9f465cd1f4f (patch) | |
| tree | b4f902cfc7eec0395c0c10449f4e57c3e318d0ca /driver/errors.ml | |
| parent | af5e566d62712eb287a3175af76ef0a62f0b613d (diff) | |
Switch Includemod.Error, without trying to split the message (to keep current behavior).
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/exception_registration@14117 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'driver/errors.ml')
| -rw-r--r-- | driver/errors.ml | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/driver/errors.ml b/driver/errors.ml index 149ccc319..85f9fd66f 100644 --- a/driver/errors.ml +++ b/driver/errors.ml @@ -21,9 +21,6 @@ open Format let report_error ppf exn = let report ppf = function - | Includemod.Error err -> - Location.print_error_cur_file ppf; - Includemod.report_error ppf err | Translcore.Error(loc, err) -> Location.print_error ppf loc; Translcore.report_error ppf err | Translclass.Error(loc, err) -> |