1 files changed, 13 insertions, 0 deletions
diff --git a/lib/backtrace.ml b/lib/backtrace.ml
index d64f42f7f0..19b07d8767 100644
--- a/lib/backtrace.ml
+++ b/lib/backtrace.ml
@@ -96,3 +96,16 @@ let add_backtrace e =
       Exninfo.add e backtrace bt
     end
   else e
+
+let app_backtrace ~src ~dst =
+  if !is_recording then
+    match get_backtrace src with
+    | None -> dst
+    | Some bt ->
+      match get_backtrace dst with
+      | None ->
+        Exninfo.add dst backtrace bt
+      | Some nbt ->
+        let bt = bt @ nbt in
+        Exninfo.add dst backtrace bt
+  else dst