From 44f3c1b1071506bcd98dec4e10675624c0142c21 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Tue, 14 Jul 2015 11:55:04 +0200
Subject: STM: fix a "exn with no safe id attached" error on a failing query

It showed up at the CoqCS.
---
 stm/stm.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 ->
-- 
cgit v1.2.3