diff options
| author |  kyessenov <unknown> | 2010-07-14 17:50:35 +0000 |
|---|---|---|
| committer | kyessenov <unknown> | 2010-07-14 17:50:35 +0000 |
| commit | 3b89a8402494211a07d059ca204b7105e888351c (patch) | |
| tree | db300da2ebb82f527a3664f68317d405a0112fd8 /Source/Dafny | |
| parent | f2cb20003f22e9aa6b1c1c257d5afe38f186c7f6 (diff) | |
Tortoise SVN screwed up previous commit.
Diffstat (limited to 'Source/Dafny')
| -rw-r--r-- | Source/Dafny/Resolver.ssc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Dafny/Resolver.ssc b/Source/Dafny/Resolver.ssc index 18160f39..a216682c 100644 --- a/Source/Dafny/Resolver.ssc +++ b/Source/Dafny/Resolver.ssc @@ -39,7 +39,7 @@ namespace Microsoft.Dafny { readonly Dictionary<DatatypeDecl!,Dictionary<string!,DatatypeCtor!>!>! datatypeCtors = new Dictionary<DatatypeDecl!,Dictionary<string!,DatatypeCtor!>!>();
readonly Graph<ModuleDecl!>! importGraph = new Graph<ModuleDecl!>();
- bool checkRefinements = true;
+ bool checkRefinements = true; // used to indicate a cycle in refinements
public void ResolveProgram(Program! prog) {
// register modules
|