diff options
| author | Enrico Tassi | 2015-07-14 11:55:04 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2015-07-14 11:55:04 +0200 |
| commit | 44f3c1b1071506bcd98dec4e10675624c0142c21 (patch) | |
| tree | 32478be4c2c831275b5ca41c397143e919df66ff | |
| parent | b3f8288b2243efe59d3358ad4001dd78d62308b8 (diff) | |
STM: fix a "exn with no safe id attached" error on a failing query
It showed up at the CoqCS.
| -rw-r--r-- | stm/stm.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stm/stm.ml b/stm/stm.ml index 373fd0ba39..8af1aaafdc 100644 --- a/stm/stm.ml +++ b/stm/stm.ml @@ -2117,7 +2117,7 @@ let process_transaction ?(newtip=Stateid.fresh ()) ~tty verbose c (loc, expr) = iraise (State.exn_on report_id e)); `Ok | VtQuery (false,(report_id,route)), VtNow -> (try vernac_interp report_id ~route x - with e when Errors.noncritical e -> + with e -> let e = Errors.push e in iraise (State.exn_on report_id e)); `Ok | VtQuery (true,(report_id,_)), w -> |