diff options
| author |  Rustan Leino <unknown> | 2014-03-17 15:16:16 -0700 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2014-03-17 15:16:16 -0700 |
| commit | e4e919490ff161bd7acaa81b8c5bca49b719c58e (patch) | |
| tree | 3b5bd33435176c2e68ed63acb0ac30860502a9ff /Source/DafnyExtension/IdentifierTagger.cs | |
| parent | b4648bc600a7f566aa150864950a6385ce3bd9af (diff) | |
AST refactoring:
Changed VarDecl to no longer inherit from Statement.
Removed ConcreteSyntaxStatement and changed VarDeclStmt's superclass be Statement.
Diffstat (limited to 'Source/DafnyExtension/IdentifierTagger.cs')
0 files changed, 0 insertions, 0 deletions