diff options
| author |  Rustan Leino <leino@microsoft.com> | 2012-02-29 21:36:03 -0800 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2012-02-29 21:36:03 -0800 |
| commit | 3bdf2f0e5ae28a38bda913df4b73085415f2a0e4 (patch) | |
| tree | 2edd8c47b919242b7f72069a7a5d89c14b7e9334 /Test/dafny0/FunctionSpecifications.dfy | |
| parent | 8f2f6d4a5a63a2e817e76422ebbab878a940351f (diff) | |
Dafny: fixed well-formedness checking of LET expressions to allow the RHS to be used
Diffstat (limited to 'Test/dafny0/FunctionSpecifications.dfy')
0 files changed, 0 insertions, 0 deletions