diff options
| author | Alain Frisch <alain@frisch.fr> | 2013-09-12 13:50:36 +0000 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2013-09-12 13:50:36 +0000 |
| commit | c18155a018d741d92920e9670b20504add35dac3 (patch) | |
| tree | 538c27c4a0651b9b564f6923ca8c48cb7fb223b3 /driver | |
| parent | de72ef4a89f3c047b003eaeb1275923077a4ba88 (diff) | |
| download | ocaml-c18155a018d741d92920e9670b20504add35dac3.tar.gz | |
Switch Cmi_format.Error.
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/exception_registration@14112 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'driver')
| -rw-r--r-- | driver/errors.ml | 3 | ||||
| -rw-r--r-- | driver/opterrors.ml | 3 |
2 files changed, 0 insertions, 6 deletions
diff --git a/driver/errors.ml b/driver/errors.ml index e97a874c15..79ffba70bf 100644 --- a/driver/errors.ml +++ b/driver/errors.ml @@ -21,9 +21,6 @@ open Format let report_error ppf exn = let report ppf = function - | Cmi_format.Error err -> - Location.print_error_cur_file ppf; - Cmi_format.report_error ppf err | Ctype.Tags(l, l') -> Location.print_error_cur_file ppf; fprintf ppf diff --git a/driver/opterrors.ml b/driver/opterrors.ml index 32adc1b2c2..16ead178bd 100644 --- a/driver/opterrors.ml +++ b/driver/opterrors.ml @@ -20,9 +20,6 @@ open Format let report_error ppf exn = let report ppf = function - | Cmi_format.Error err -> - Location.print_error_cur_file ppf; - Cmi_format.report_error ppf err | Ctype.Tags(l, l') -> Location.print_error_cur_file ppf; fprintf ppf |