diff options
Diffstat (limited to 'stdlib/printexc.ml')
| -rw-r--r-- | stdlib/printexc.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/stdlib/printexc.ml b/stdlib/printexc.ml index 062decb85..f244009ba 100644 --- a/stdlib/printexc.ml +++ b/stdlib/printexc.ml @@ -88,6 +88,8 @@ type loc_info = * int (* end char *) | Unknown_location of bool (*is_raise*) +let _ = [Known_location (false, "", 0, 0, 0); Unknown_location false] + external get_exception_backtrace: unit -> loc_info array option = "caml_get_exception_backtrace" |