diff options
Diffstat (limited to 'lib/errors.ml')
| -rw-r--r-- | lib/errors.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/errors.ml b/lib/errors.ml index 75464f2da0..157949fcd9 100644 --- a/lib/errors.ml +++ b/lib/errors.ml @@ -88,6 +88,7 @@ let print_anomaly askreport e = let bt_info = match Backtrace.get_backtrace e with | None -> mt () | Some bt -> + let bt = Backtrace.repr bt in let pr_frame f = str (Backtrace.print_frame f) in let bt = prlist_with_sep fnl pr_frame bt in fnl () ++ hov 0 bt |