diff options
Diffstat (limited to 'cparser/Cerrors.mli')
| -rw-r--r-- | cparser/Cerrors.mli | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/cparser/Cerrors.mli b/cparser/Cerrors.mli index 8501cfa0..816b12b6 100644 --- a/cparser/Cerrors.mli +++ b/cparser/Cerrors.mli @@ -72,3 +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 *) |