diff options
Diffstat (limited to 'driver/errors.ml')
| -rw-r--r-- | driver/errors.ml | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/driver/errors.ml b/driver/errors.ml index 85f9fd66f..011067adb 100644 --- a/driver/errors.ml +++ b/driver/errors.ml @@ -21,12 +21,6 @@ open Format let report_error ppf exn = let report ppf = function - | Translcore.Error(loc, err) -> - Location.print_error ppf loc; Translcore.report_error ppf err - | Translclass.Error(loc, err) -> - Location.print_error ppf loc; Translclass.report_error ppf err - | Translmod.Error(loc, err) -> - Location.print_error ppf loc; Translmod.report_error ppf err | Symtable.Error code -> Location.print_error_cur_file ppf; Symtable.report_error ppf code |