diff options
Diffstat (limited to 'Source/DafnyExtension')
| -rw-r--r-- | Source/DafnyExtension/IdentifierTagger.cs | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Source/DafnyExtension/IdentifierTagger.cs b/Source/DafnyExtension/IdentifierTagger.cs index beab8303..3bb8f01c 100644 --- a/Source/DafnyExtension/IdentifierTagger.cs +++ b/Source/DafnyExtension/IdentifierTagger.cs @@ -213,6 +213,12 @@ namespace DafnyLanguage IdRegion.Add(newRegions, fld.tok, fld, null, "field", true, module);
}
}
+ } else if (d is NewtypeDecl) {
+ var dd = (NewtypeDecl)d;
+ if (dd.Var != null) {
+ IdRegion.Add(newRegions, dd.Var.tok, dd.Var, true, module);
+ ExprRegions(dd.Constraint, newRegions, module);
+ }
}
}
}
|