From 30302a47d06b3d92238524e7727b380f90960d40 Mon Sep 17 00:00:00 2001
From: ppedrot
Date: Mon, 18 Feb 2013 16:57:48 +0000
Subject: Updating the backtrace handling mechanism to accomodate the new
 exception information addition facility.

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

(limited to 'lib/errors.mli')

diff --git a/lib/errors.mli b/lib/errors.mli
index d596abb55a..3e551e394c 100644
--- a/lib/errors.mli
+++ b/lib/errors.mli
@@ -14,10 +14,7 @@ open Pp
 (** {6 Error handling} *)
 
 val push : exn -> exn
-(** Alias for [Backtrace.push_exn]. *)
-
-val reraise : exn -> 'a
-(** Alias for [Backtrace.reraise]. *)
+(** Alias for [Backtrace.add_backtrace]. *)
 
 (** {6 Generic errors.}
 
@@ -93,6 +90,3 @@ val print_no_report : exn -> Pp.std_ppcmds
 (** Same as [print], except that anomalies are not printed but re-raised
     (used for the Fail command) *)
 val print_no_anomaly : exn -> Pp.std_ppcmds
-
-(** Enable registering of backtrace information. *)
-val record_backtrace : unit -> unit
-- 
cgit v1.2.3