diff options
Diffstat (limited to 'ocaml-binary-annot/byterun/printexc.h')
| -rw-r--r-- | ocaml-binary-annot/byterun/printexc.h | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/ocaml-binary-annot/byterun/printexc.h b/ocaml-binary-annot/byterun/printexc.h new file mode 100644 index 0000000000..e7d1768882 --- /dev/null +++ b/ocaml-binary-annot/byterun/printexc.h @@ -0,0 +1,27 @@ +/***********************************************************************/ +/* */ +/* Objective Caml */ +/* */ +/* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ +/* */ +/* Copyright 2001 Institut National de Recherche en Informatique et */ +/* en Automatique. All rights reserved. This file is distributed */ +/* under the terms of the GNU Library General Public License, with */ +/* the special exception on linking described in file ../LICENSE. */ +/* */ +/***********************************************************************/ + +/* $Id$ */ + +#ifndef CAML_PRINTEXC_H +#define CAML_PRINTEXC_H + + +#include "misc.h" +#include "mlvalues.h" + +CAMLextern char * caml_format_exception (value); +void caml_fatal_uncaught_exception (value) Noreturn; + + +#endif /* CAML_PRINTEXC_H */ |