diff options
author | qunyanm <unknown> | 2015-11-18 11:05:48 -0800 |
---|---|---|
committer | qunyanm <unknown> | 2015-11-18 11:05:48 -0800 |
commit | 9b2dea60e57be8ddb39b36ed8a282e3826cd4092 (patch) | |
tree | da041a2765c74d4a5dba3738b6e0a49de2f2ef19 /Source/Dafny/Translator.cs | |
parent | 5630200c12094d86d3ff75ce251f0776b8dfb265 (diff) |
Fix issue 108. Use idGenerator to create a new collection name for each
occurrence of Set/MapComprehension when translating it to c#.
Diffstat (limited to 'Source/Dafny/Translator.cs')
0 files changed, 0 insertions, 0 deletions