diff options
| author | Enrico Tassi | 2016-05-23 18:08:43 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2016-06-06 14:04:33 -0400 |
| commit | ca833edfb9ce2a40b0b83b11a825ae5dc833c4cb (patch) | |
| tree | a707fcc8a522b2a222ef8d42380d4302642b9d64 | |
| parent | 821937aee71bf9439158e27e06f7b4f74289b209 (diff) | |
STM: fix error reporting of par:
| -rw-r--r-- | stm/stm.ml | 3 |
1 files changed, 1 insertions, 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 ((),[]) |