diff options
Diffstat (limited to 'cparser/Cerrors.mli')
-rw-r--r-- | cparser/Cerrors.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/cparser/Cerrors.mli b/cparser/Cerrors.mli index b2350db6..816b12b6 100644 --- a/cparser/Cerrors.mli +++ b/cparser/Cerrors.mli @@ -72,6 +72,7 @@ val warning_options : (Commandline.pattern * Commandline.action) list (** List of all options for diagnostics *) val raise_on_errors : unit -> unit +(** Raise [Abort] if an error was encountered *) val crash: exn -> unit (** Report the backtrace of the last exception and exit *) |