diff options
| author |  Michal Moskal <michal@moskal.me> | 2011-12-07 11:14:12 -0800 |
|---|---|---|
| committer | Michal Moskal <michal@moskal.me> | 2011-12-07 11:14:12 -0800 |
| commit | be9a2d297ccd8900cccc750c15a9c02c9e23a83b (patch) | |
| tree | 02cfb69273e847e8b68ecfc84d90a24fe40e5dbe /Source/Dafny/Scanner.cs | |
| parent | a292a359149e852f658d33a268b175b4ba60fa38 (diff) | |
Fix atg file and add comment about Set/*Variable*/
Diffstat (limited to 'Source/Dafny/Scanner.cs')
0 files changed, 0 insertions, 0 deletions