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 f7864ccd0..29447fccb 100644 --- a/driver/errors.ml +++ b/driver/errors.ml @@ -21,9 +21,6 @@ open Format let report_error ppf exn = let report ppf = function - | Lexer.Error(err, loc) -> - Location.print_error ppf loc; - Lexer.report_error ppf err | Pparse.Error err -> Pparse.report_error ppf err | Env.Error err -> |