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/dafny0 | |
| 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/dafny0')
0 files changed, 0 insertions, 0 deletions