diff options
Diffstat (limited to 'Source/Dafny/DafnyAst.ssc')
| -rw-r--r-- | Source/Dafny/DafnyAst.ssc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Source/Dafny/DafnyAst.ssc b/Source/Dafny/DafnyAst.ssc index 9963ac2d..96b756b9 100644 --- a/Source/Dafny/DafnyAst.ssc +++ b/Source/Dafny/DafnyAst.ssc @@ -341,6 +341,7 @@ namespace Microsoft.Dafny public readonly List<string!>! Imports;
public readonly List<TopLevelDecl!>! TopLevelDecls = new List<TopLevelDecl!>(); // filled in by the parser; readonly after that
public readonly Graph<MemberDecl!>! CallGraph = new Graph<MemberDecl!>(); // filled in during resolution
+ public int Height; // height in the topological sorting of modules; filled in during resolution
public ModuleDecl(Token! tok, string! name, [Captured] List<string!>! imports, Attributes attributes) {
Imports = imports;
base(tok, name, attributes);
|