diff options
Diffstat (limited to 'byterun/misc.c')
-rw-r--r-- | byterun/misc.c | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/byterun/misc.c b/byterun/misc.c index 618729e4a..8791eca42 100644 --- a/byterun/misc.c +++ b/byterun/misc.c @@ -41,19 +41,20 @@ void caml_gc_message (int level, char *msg, unsigned long arg) } } -void caml_fatal_error (char *msg) +CAMLexport void caml_fatal_error (char *msg) { fprintf (stderr, "%s", msg); exit(2); } -void caml_fatal_error_arg (char *fmt, char *arg) +CAMLexport void caml_fatal_error_arg (char *fmt, char *arg) { fprintf (stderr, fmt, arg); exit(2); } -void caml_fatal_error_arg2 (char *fmt1, char *arg1, char *fmt2, char *arg2) +CAMLexport void caml_fatal_error_arg2 (char *fmt1, char *arg1, + char *fmt2, char *arg2) { fprintf (stderr, fmt1, arg1); fprintf (stderr, fmt2, arg2); |