summaryrefslogtreecommitdiffstats
path: root/driver/errors.ml
diff options
context:
space:
mode:
Diffstat (limited to 'driver/errors.ml')
-rw-r--r--driver/errors.ml2
1 files changed, 2 insertions, 0 deletions
diff --git a/driver/errors.ml b/driver/errors.ml
index 3d0b19774..73e7caf9b 100644
--- a/driver/errors.ml
+++ b/driver/errors.ml
@@ -29,6 +29,8 @@ let report_error ppf exn =
Lexer.report_error ppf err
| Syntaxerr.Error err ->
Syntaxerr.report_error ppf err
+ | Pparse.Error ->
+ fprintf ppf "Preprocessor error"
| Env.Error err ->
Env.report_error ppf err
| Ctype.Tags(l, l') -> fprintf ppf