From ca833edfb9ce2a40b0b83b11a825ae5dc833c4cb Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Mon, 23 May 2016 18:08:43 +0200
Subject: STM: fix error reporting of par:

---
 stm/stm.ml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/stm/stm.ml b/stm/stm.ml
index c1158928df..a3e380c7b7 100644
--- a/stm/stm.ml
+++ b/stm/stm.ml
@@ -1653,8 +1653,7 @@ end = struct (* {{{ *)
     match resp with
     | RespBuiltSubProof o -> t_assign (`Val o); `Stay ((),[])
     | RespError msg ->
-        let info = Stateid.add ~valid:t_state Exninfo.null t_state_fb in
-        let e = (RemoteException msg, info) in
+        let e = (RemoteException msg, Exninfo.null) in
         t_assign (`Exn e);
         t_kill ();
         `Stay ((),[])
-- 
cgit v1.2.3