diff options
Diffstat (limited to 'cparser/Cerrors.mli')
| -rw-r--r-- | cparser/Cerrors.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/cparser/Cerrors.mli b/cparser/Cerrors.mli index b312931a..b547188a 100644 --- a/cparser/Cerrors.mli +++ b/cparser/Cerrors.mli @@ -68,3 +68,5 @@ val warning_help : string val warning_options : (Commandline.pattern * Commandline.action) list (** List of all options for diagnostics *) + +val raise_on_errors : unit -> unit |