diff options
author | Rustan Leino <leino@microsoft.com> | 2012-07-04 03:09:20 -0700 |
---|---|---|
committer | Rustan Leino <leino@microsoft.com> | 2012-07-04 03:09:20 -0700 |
commit | 3cfc61ac1212e28136a10f35ac1b1e8de743e7d2 (patch) | |
tree | 66513f016be84b5eed8b4a6f7b46442992182bfd /Dafny/Dafny.atg | |
parent | 7c7c890545d47ae012511139cc7ea7f77b9b00c1 (diff) | |
parent | dd240a71c1ad401071c835c68d5894a3e9f57cfc (diff) |
Merge
Diffstat (limited to 'Dafny/Dafny.atg')
-rw-r--r-- | Dafny/Dafny.atg | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Dafny/Dafny.atg b/Dafny/Dafny.atg index 4eeedcbf..7c8536a3 100644 --- a/Dafny/Dafny.atg +++ b/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; .) ]
|