diff options
| author |  Unknown <mbarnett@MIKE-SONY.redmond.corp.microsoft.com> | 2012-07-31 16:54:15 -0700 |
|---|---|---|
| committer | Unknown <mbarnett@MIKE-SONY.redmond.corp.microsoft.com> | 2012-07-31 16:54:15 -0700 |
| commit | 299fa123930faa5b4031f69cf835fd66dc71a246 (patch) | |
| tree | 8adb90077c510d73c02d7e8d10c19c98df99c170 /Source/Dafny.sln | |
| parent | 4afe0b60ef0a72161a1d37d0ddf266d52e36d186 (diff) | |
Fix a bug when static fields are used in as operands for ++ or --.
Diffstat (limited to 'Source/Dafny.sln')
0 files changed, 0 insertions, 0 deletions