diff options
Diffstat (limited to 'driver/opterrors.ml')
| -rw-r--r-- | driver/opterrors.ml | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/driver/opterrors.ml b/driver/opterrors.ml index 7a519b79b..feb07a98f 100644 --- a/driver/opterrors.ml +++ b/driver/opterrors.ml @@ -20,9 +20,6 @@ open Format let report_error ppf exn = let report ppf = function - | Lexer.Error(err, l) -> - Location.print_error ppf l; - Lexer.report_error ppf err | Pparse.Error err -> Pparse.report_error ppf err | Env.Error err -> |