diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/tac2core.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/tac2core.ml b/src/tac2core.ml index ab87fa7739..9920b4c805 100644 --- a/src/tac2core.ml +++ b/src/tac2core.ml @@ -799,6 +799,7 @@ let interp_constr flags ist c = Proofview.tclUNIT c with e when catchable_exception e -> let (e, info) = CErrors.push e in + set_bt info >>= fun info -> match Exninfo.get info fatal_flag with | None -> Proofview.tclZERO ~info e | Some () -> throw ~info e |