From b2c58a23a1f71c86d8a64147923214b5059bd747 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Wed, 8 Jan 2020 20:14:35 +0100
Subject: [exninfo] Deprecate aliases for exception re-raising.

We make the primitives for backtrace-enriched exceptions canonical in
the `Exninfo` module, deprecating all other aliases.

At some point dependencies between `CErrors` and `Exninfo` were a bit
complex, after recent clean-ups the roles seem much clearer so we can
have a single place for `iraise` and `capture`.
---
 library/states.ml | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

(limited to 'library')

diff --git a/library/states.ml b/library/states.ml
index 90303a2a5c..c656dfb952 100644
--- a/library/states.ml
+++ b/library/states.ml
@@ -8,8 +8,6 @@
 (*         *     (see LICENSE file for the text of the license)         *)
 (************************************************************************)
 
-open Util
-
 type state = Lib.frozen * Summary.frozen
 
 let lib_of_state = fst
@@ -31,5 +29,5 @@ let with_state_protection f x =
   try
     let a = f x in unfreeze st; a
   with reraise ->
-    let reraise = CErrors.push reraise in
-    (unfreeze st; iraise reraise)
+    let reraise = Exninfo.capture reraise in
+    (unfreeze st; Exninfo.iraise reraise)
-- 
cgit v1.2.3