diff options
Diffstat (limited to 'byterun/backtrace.h')
| -rw-r--r-- | byterun/backtrace.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/byterun/backtrace.h b/byterun/backtrace.h index c2a21c2088..2d9c202eaa 100644 --- a/byterun/backtrace.h +++ b/byterun/backtrace.h @@ -22,6 +22,7 @@ CAMLextern int caml_backtrace_active; CAMLextern int caml_backtrace_pos; CAMLextern code_t * caml_backtrace_buffer; CAMLextern value caml_backtrace_last_exn; +CAMLextern char * caml_cds_file; CAMLprim value caml_record_backtrace(value vflag); #ifndef NATIVE_CODE |