diff options
| author |  Rustan Leino <leino@microsoft.com> | 2011-12-19 15:35:32 -0800 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2011-12-19 15:35:32 -0800 |
| commit | 4e73a3397844fa7802854fd059a32b0c33c46de7 (patch) | |
| tree | 399eaedc8e1f1fc9d4e5ce4b6bacd0c85c22b808 /Dafny/Parser.cs | |
| parent | a0ab18fd4acd127715d273cf8ab163a4086fe359 (diff) | |
Dafny: for a datatype with just one constructor, don't check (but do assume) that destructors are applied only to those values constructed by that one-and-only constructor
Diffstat (limited to 'Dafny/Parser.cs')
0 files changed, 0 insertions, 0 deletions