Update src/coq_elpi_vernacular.ml

LPCIC · Jun 28, 2024 · feb92fc · feb92fc
1 parent ade57e8
commit feb92fc
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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 =