Merge PR #11380: [exninfo] Deprecate aliases for exception re-raising.

Reviewed-by: Matafou
Reviewed-by: ppedrot

1 files changed, 2 insertions, 2 deletions

diff --git a/vernac/metasyntax.ml b/vernac/metasyntax.ml
index 3937f887ad..fedebc9700 100644
--- a/vernac/metasyntax.ml
+++ b/vernac/metasyntax.ml
@@ -1466,9 +1466,9 @@ let with_lib_stk_protection f x =
   let fs = Lib.freeze () in
   try let a = f x in Lib.unfreeze fs; a
   with reraise ->
-    let reraise = CErrors.push reraise in
+    let reraise = Exninfo.capture reraise in
     let () = Lib.unfreeze fs in
-    iraise reraise
+    Exninfo.iraise reraise
 
 let with_syntax_protection f x =
   with_lib_stk_protection