From 700586a3b1dc75b6047f0b25859b10839d8ddd78 Mon Sep 17 00:00:00 2001
From: ppedrot
Date: Wed, 13 Mar 2013 14:20:59 +0000
Subject: Made the backtrace type opaque

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16298 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 lib/errors.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'lib/errors.ml')

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
-- 
cgit v1.2.3