diff options
| author |  rustanleino <unknown> | 2011-03-29 09:28:09 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2011-03-29 09:28:09 +0000 |
| commit | 8e74668df4d3ad2c693ae0a05c04184c8a7d61be (patch) | |
| tree | 1e4720ccfe11d2ad973ea3f9cfc75d31384190d4 /Source/Dafny/DafnyAst.cs | |
| parent | bcbb7350fcc33e0c1074b39bf701003efc1693cd (diff) | |
Dafny: refactoring to soon support more general assignment statements
Diffstat (limited to 'Source/Dafny/DafnyAst.cs')
| -rw-r--r-- | Source/Dafny/DafnyAst.cs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Source/Dafny/DafnyAst.cs b/Source/Dafny/DafnyAst.cs index 18895aa3..d168e519 100644 --- a/Source/Dafny/DafnyAst.cs +++ b/Source/Dafny/DafnyAst.cs @@ -1318,6 +1318,7 @@ namespace Microsoft.Dafny { public readonly Type EType;
public readonly List<Expression> ArrayDimensions;
public readonly CallStmt InitCall; // may be null (and is definitely null for arrays)
+ public Type Type; // filled in during resolution
[ContractInvariantMethod]
void ObjectInvariant() {
Contract.Invariant(EType != null);
|