diff options
Diffstat (limited to 'clib/exninfo.ml')
| -rw-r--r-- | clib/exninfo.ml | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/clib/exninfo.ml b/clib/exninfo.ml index 621f7e615f..07b7f47529 100644 --- a/clib/exninfo.ml +++ b/clib/exninfo.ml @@ -117,3 +117,10 @@ let capture e = e, add info backtrace_info bt else e, info e + +let reify () = + if !is_recording then + let bt = Printexc.get_callstack 50 in + add null backtrace_info bt + else + null |