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/Dafny.atg | |
| parent | f7d1a3200a18cb15bc49f6d89068ddd1e99efe0e (diff) | |
Refactoring: renamed DerivedTypeDecl to NewtypeDecl
Diffstat (limited to 'Source/Dafny/Dafny.atg')
| -rw-r--r-- | Source/Dafny/Dafny.atg | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Source/Dafny/Dafny.atg b/Source/Dafny/Dafny.atg index e52e7e5b..bb995c8d 100644 --- a/Source/Dafny/Dafny.atg +++ b/Source/Dafny/Dafny.atg @@ -469,8 +469,8 @@ NewtypeDecl<ModuleDefinition module, out TopLevelDecl td> NoUSIdent<out bvId>
[ ":" Type<out baseType> ] (. if (baseType == null) { baseType = new OperationTypeProxy(true, true, false, false); } .)
"|"
- Expression<out wh, false, true> (. td = new DerivedTypeDecl(id, id.val, module, new BoundVar(bvId, bvId.val, baseType), wh, attrs); .)
- | Type<out baseType> (. td = new DerivedTypeDecl(id, id.val, module, baseType, attrs); .)
+ Expression<out wh, false, true> (. td = new NewtypeDecl(id, id.val, module, new BoundVar(bvId, bvId.val, baseType), wh, attrs); .)
+ | Type<out baseType> (. td = new NewtypeDecl(id, id.val, module, baseType, attrs); .)
)
[ SYNC ";"
// In a future version of Dafny, including the following warning message:
|