diff options
| author |  Jason Koenig <unknown> | 2012-07-03 13:39:44 -0700 |
|---|---|---|
| committer | Jason Koenig <unknown> | 2012-07-03 13:39:44 -0700 |
| commit | d09c934f739481afd59fb5be42210eba58fe7a5c (patch) | |
| tree | 3c3d3d507700dcf2afe403bc52ae4c67d0d12fe3 /Source/Dafny/Dafny.atg | |
| parent | 8238a93e0a64bb69ef763998efc16629f0e753b5 (diff) | |
Dafny: added support for nested abstract modules, fixed some translation issues
Diffstat (limited to 'Source/Dafny/Dafny.atg')
| -rw-r--r-- | Source/Dafny/Dafny.atg | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Dafny/Dafny.atg b/Source/Dafny/Dafny.atg index 7d49fb8f..d0dd4169 100644 --- a/Source/Dafny/Dafny.atg +++ b/Source/Dafny/Dafny.atg @@ -182,7 +182,7 @@ SubModuleDecl<ModuleDefinition parent, bool isOverallModuleGhost, out ModuleDecl { Attribute<ref attrs> }
NoUSIdent<out id>
((
- [ "refines" QualifiedName<out idRefined> ] (. module = new ModuleDefinition(id, id.val, isOverallModuleGhost, false, idRefined == null ? null : idRefined, attrs); .)
+ [ "refines" QualifiedName<out idRefined> ] (. module = new ModuleDefinition(id, id.val, isOverallModuleGhost, false, idRefined == null ? null : idRefined, attrs, false); .)
"{" (. module.BodyStartTok = t; .)
{ (. isGhost = false; .)
[ "ghost" (. isGhost = true; .) ]
|