diff options
Diffstat (limited to 'cparser/Cerrors.mli')
| -rw-r--r-- | cparser/Cerrors.mli | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/cparser/Cerrors.mli b/cparser/Cerrors.mli index 8501cfa0..b2350db6 100644 --- a/cparser/Cerrors.mli +++ b/cparser/Cerrors.mli @@ -72,3 +72,6 @@ val warning_options : (Commandline.pattern * Commandline.action) list (** List of all options for diagnostics *) val raise_on_errors : unit -> unit + +val crash: exn -> unit +(** Report the backtrace of the last exception and exit *) |