summaryrefslogtreecommitdiffstats
path: root/byterun/callback.h
diff options
context:
space:
mode:
Diffstat (limited to 'byterun/callback.h')
-rw-r--r--byterun/callback.h1
1 files changed, 1 insertions, 0 deletions
diff --git a/byterun/callback.h b/byterun/callback.h
index 1207f242d..57064e66d 100644
--- a/byterun/callback.h
+++ b/byterun/callback.h
@@ -31,6 +31,7 @@ value callbackN_exn (value closure, int narg, value args[]);
#define Make_exception_result(v) ((v) | 2)
#define Is_exception_result(v) (((v) & 3) == 2)
#define Extract_exception(v) ((v) & ~3)
+char * format_caml_exception(value exn);
value * caml_named_value (char * name);