From f7d362d04d788ede814d0e090b916aa512eb8a6c Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Wed, 9 Jan 2019 17:13:41 +0100
Subject: [STM] Fix semantics of `cur_id` w.r.t. error states

---
 stm/stm.ml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'stm')

diff --git a/stm/stm.ml b/stm/stm.ml
index 32c6c7d959..7e4ee38547 100644
--- a/stm/stm.ml
+++ b/stm/stm.ml
@@ -869,7 +869,6 @@ end = struct (* {{{ *)
        cur_id := id
 
     | { state = Error ie } ->
-       cur_id := id;
        Exninfo.iraise ie
 
     | _ ->
-- 
cgit v1.2.3