diff options
author | leino <unknown> | 2015-09-28 16:18:01 -0700 |
---|---|---|
committer | leino <unknown> | 2015-09-28 16:18:01 -0700 |
commit | 9dd401ba24bf795c73a8d66c0890c760de6c8ad5 (patch) | |
tree | 05fb581757cb2740a1a80512e3ab6dc7c30562af /Test/hofs | |
parent | fc76e0501cb3f1f7e9254b970315d4c63254a2d5 (diff) |
Removed the 'inSpecOnlyContext' map that had been part of the resolution of
'break' statements out of ghost structures. This is now done in pass 2 by
looking at the .IsGhost field of the target statement.
Diffstat (limited to 'Test/hofs')
0 files changed, 0 insertions, 0 deletions