diff options
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) -> |