diff options
| -rw-r--r-- | Source/DafnyExtension/IdentifierTagger.cs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Source/DafnyExtension/IdentifierTagger.cs b/Source/DafnyExtension/IdentifierTagger.cs index 6a612cbd..a4cd3547 100644 --- a/Source/DafnyExtension/IdentifierTagger.cs +++ b/Source/DafnyExtension/IdentifierTagger.cs @@ -234,6 +234,11 @@ namespace DafnyLanguage } else if (expr is FieldSelectExpr) {
var e = (FieldSelectExpr)expr;
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) {
+ IdRegion.Add(regions, bv.tok, bv, true, module);
+ }
} else if (expr is ComprehensionExpr) {
var e = (ComprehensionExpr)expr;
foreach (var bv in e.BoundVars) {
|