diff options
| author |  Mike Barnett <mbarnett@microsoft.com> | 2011-08-03 13:18:53 -0700 |
|---|---|---|
| committer | Mike Barnett <mbarnett@microsoft.com> | 2011-08-03 13:18:53 -0700 |
| commit | 5da13c0983715868089f49ca38855816e5faa3c7 (patch) | |
| tree | ff03dc95692e68ab0b38dd664f07ef39c3893e3a /_admin/Boogie | |
| parent | f29c3a7e467c273fe9c4900eb971e6148edcc1d7 (diff) | |
Increase the name mangling to avoid name clashes in the Boogie program. In IL,
members of a type can have the same name.
Diffstat (limited to '_admin/Boogie')
0 files changed, 0 insertions, 0 deletions