diff options
author | Rustan Leino <unknown> | 2015-07-29 17:35:18 -0700 |
---|---|---|
committer | Rustan Leino <unknown> | 2015-07-29 17:35:18 -0700 |
commit | 7e7eb1a4177e03f6bb22411b7246db1d26f5ed27 (patch) | |
tree | 36fd9866764a6caf9be0b71e76c5a2ade9dbf45d /Source/DafnyServer | |
parent | 13bb45d5350cb6b0ce6b731d6552780b0d147265 (diff) |
Fixed crash in resolution where, after reporting an error, the cases #type and #module were not handled
Diffstat (limited to 'Source/DafnyServer')
0 files changed, 0 insertions, 0 deletions