diff options
| author |  Rustan Leino <leino@microsoft.com> | 2012-08-21 00:24:08 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2012-08-21 00:24:08 -0700 |
| commit | 1ac82df441e621fce2f38d53b5d17c69650d7358 (patch) | |
| tree | a882d519a00f2d7cef05756598257867f7523e41 /Source/Core/StandardVisitor.cs | |
| parent | 61ca25219a71a22430b3f7a5071f8655cbf75cb1 (diff) | |
Dafny and Boogie: get rid of 'static' fields in parser
Diffstat (limited to 'Source/Core/StandardVisitor.cs')
0 files changed, 0 insertions, 0 deletions