diff options
| author |  Mike Barnett <mbarnett@microsoft.com> | 2011-11-16 14:57:19 -0800 |
|---|---|---|
| committer | Mike Barnett <mbarnett@microsoft.com> | 2011-11-16 14:57:19 -0800 |
| commit | fdb39e085355c4d647d9a54f58da18e2b2979462 (patch) | |
| tree | 00f5bf84cfd30a336f608c20ddbfa942d998589b /Source/Dafny | |
| parent | 8eb81c0042ba8969def9e4d2c69e1448e0aa40ec (diff) | |
Translate AddressOf expressions correctly.
Fixes for problems when translating generic type parameters.
Diffstat (limited to 'Source/Dafny')
0 files changed, 0 insertions, 0 deletions