diff options
| author |  Rustan Leino <leino@microsoft.com> | 2012-09-29 12:01:48 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2012-09-29 12:01:48 -0700 |
| commit | 42c116169feb1019824d43be376acded2b491a0c (patch) | |
| tree | 18c14c3a54b06bd8dea5ba85e333b9c7a16a7e22 /Binaries | |
| parent | 225930765d1f6c11dcf6c523ce0730457c07ec47 (diff) | |
Dafny: fixed compilation issue (a datatype is now allowed to be called "d")
Diffstat (limited to 'Binaries')
0 files changed, 0 insertions, 0 deletions