diff options
| -rw-r--r-- | stm/stm.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/stm/stm.ml b/stm/stm.ml index 05c59720b1..3a57d85bab 100644 --- a/stm/stm.ml +++ b/stm/stm.ml @@ -1580,6 +1580,7 @@ let collect_proof keep cur hd brkind id = let view = VCS.visit id in match view.step with | `Cmd { cast = x } -> collect (Some (id,x)) (id::accn) view.next + | `Sideff (`Ast (x,_)) -> collect (Some (id,x)) (id::accn) view.next (* An Alias could jump everywhere... we hope we can ignore it*) | `Alias _ -> `Sync (no_name,None,`Alias) | `Fork((_,_,_,_::_::_), _) -> |