From feb92fcd61af80190fbe5ea1bd56de34edbdebe7 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Fri, 28 Jun 2024 11:34:17 +0200
Subject: [PATCH] Update src/coq_elpi_vernacular.ml

---
 src/coq_elpi_vernacular.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/coq_elpi_vernacular.ml b/src/coq_elpi_vernacular.ml
index a74c1a6d8..cd9022ed3 100644
--- a/src/coq_elpi_vernacular.ml
+++ b/src/coq_elpi_vernacular.ml
@@ -233,8 +233,9 @@ let run ~static_check program query =
     print_debug false;
     rc
   with e ->
+    let e = Exninfo.capture e in
     print_debug true;
-    raise e
+    Exninfo.iraise e
 ;;
 
 let elpi_fails program_name =