diff options
author | 2014-11-10 22:04:07 -0800 | |
---|---|---|
committer | 2014-11-10 22:04:07 -0800 | |
commit | 183da333e40bf6babb9c61aa3ba0d7c340ba7a4e (patch) | |
tree | f5c080982bbe76e7fb127b38b2745af0d8385c0a /Source/DafnyExtension.sln | |
parent | e29333c389788e3339b26243d1345e1c635403ee (diff) |
Cleaned up a number of LL(1) conflicts in the grammar (I wish Coco/R supported a GREEDY annotation)
Don't allow colons with no intervening expressions in sequence-slicing expression
Diffstat (limited to 'Source/DafnyExtension.sln')
0 files changed, 0 insertions, 0 deletions