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/Dafny/cce.cs | |
parent | f7d1a3200a18cb15bc49f6d89068ddd1e99efe0e (diff) |
Refactoring: renamed DerivedTypeDecl to NewtypeDecl
Diffstat (limited to 'Source/Dafny/cce.cs')
0 files changed, 0 insertions, 0 deletions