diff options
| author |  leino <unknown> | 2014-08-26 05:38:28 -0700 |
|---|---|---|
| committer | leino <unknown> | 2014-08-26 05:38:28 -0700 |
| commit | f28472da56c5cb38c343bb1e1d8c791fbf22914f (patch) | |
| tree | c6d197d8a82ab2d71cb71a19797a7b58fe89e728 /Source/DafnyExtension/IdentifierTagger.cs | |
| parent | f7d1a3200a18cb15bc49f6d89068ddd1e99efe0e (diff) | |
Refactoring: renamed DerivedTypeDecl to NewtypeDecl
Diffstat (limited to 'Source/DafnyExtension/IdentifierTagger.cs')
0 files changed, 0 insertions, 0 deletions