diff options
| author | Pierre-Marie Pédrot | 2020-03-04 11:25:51 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-03-04 11:25:51 +0100 |
| commit | 89f111f2e15d8cab61495a419f0c9f7ae95e086a (patch) | |
| tree | 300ebf99c79fe0e91faf2ad50439b17916e60cf7 /library | |
| parent | 2937fe5c1bb14a7cb7f00bb6e8d418ece00a7f50 (diff) | |
| parent | b2c58a23a1f71c86d8a64147923214b5059bd747 (diff) | |
Merge PR #11380: [exninfo] Deprecate aliases for exception re-raising.
Reviewed-by: Matafou
Reviewed-by: ppedrot
Diffstat (limited to 'library')
| -rw-r--r-- | library/states.ml | 6 |
1 files changed, 2 insertions, 4 deletions
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) |