diff options
| author |  Rustan Leino <unknown> | 2014-01-08 19:28:24 -0800 |
|---|---|---|
| committer | Rustan Leino <unknown> | 2014-01-08 19:28:24 -0800 |
| commit | de8338b233b3a4daec0f0cfcfeca59115e32e574 (patch) | |
| tree | 45f3cfdd78400b0d2fdbbcc10014499528bb832e /Source/DafnyExtension/IdentifierTagger.cs | |
| parent | ecb53212d30f7e8ef6145bcca9f40517e1999956 (diff) | |
Manually adjusted merge
Diffstat (limited to 'Source/DafnyExtension/IdentifierTagger.cs')
| -rw-r--r-- | Source/DafnyExtension/IdentifierTagger.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/DafnyExtension/IdentifierTagger.cs b/Source/DafnyExtension/IdentifierTagger.cs index 246ad645..d459d7eb 100644 --- a/Source/DafnyExtension/IdentifierTagger.cs +++ b/Source/DafnyExtension/IdentifierTagger.cs @@ -245,7 +245,7 @@ namespace DafnyLanguage IdRegion.Add(regions, e.tok, e.Field, e.Type, "field", false, module);
} else if (expr is LetExpr) {
var e = (LetExpr)expr;
- foreach (var bv in e.Vars) {
+ foreach (var bv in e.BoundVars) {
IdRegion.Add(regions, bv.tok, bv, true, module);
}
} else if (expr is ComprehensionExpr) {
|