From 3642314974b3aca6eb522c37e7e4efd226e6ebc8 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Tue, 29 Nov 2016 17:50:11 +0100
Subject: STM: cur_id must be invalid if an error occurs (fix #5191)

Line erroneously removed in 17f3346c
---
 stm/stm.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'stm')

diff --git a/stm/stm.ml b/stm/stm.ml
index e387e6322f..b4331dc460 100644
--- a/stm/stm.ml
+++ b/stm/stm.ml
@@ -896,6 +896,7 @@ end = struct (* {{{ *)
     with e ->
       let (e, info) = CErrors.push e in
       let good_id = !cur_id in
+      cur_id := Stateid.dummy;
       VCS.reached id;
       let ie =
         match Stateid.get info, safe_id with
-- 
cgit v1.2.3