diff options
| author |  Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-08-29 17:32:47 -0700 |
|---|---|---|
| committer | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2012-08-29 17:32:47 -0700 |
| commit | b6f22568f1883351ea478c711d84548878870af8 (patch) | |
| tree | 095367e600b172aa9701749a2725f25561b23e81 /Util | |
| parent | b249cf92c8dc61d54fbfed57d432f099b919119f (diff) | |
DafnyExtension: fixed bug (omitted case: VarDeclStmt has no Update component)
Diffstat (limited to 'Util')
| -rw-r--r-- | Util/VS2010/DafnyExtension/DafnyExtension/IdentifierTagger.cs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Util/VS2010/DafnyExtension/DafnyExtension/IdentifierTagger.cs b/Util/VS2010/DafnyExtension/DafnyExtension/IdentifierTagger.cs index 4f414b91..7aaf8944 100644 --- a/Util/VS2010/DafnyExtension/DafnyExtension/IdentifierTagger.cs +++ b/Util/VS2010/DafnyExtension/DafnyExtension/IdentifierTagger.cs @@ -225,7 +225,9 @@ namespace DafnyLanguage foreach (var lhs in s.Lhss) {
IdRegion.Add(regions, lhs.Tok, lhs, true, module);
}
- if (s.Update is UpdateStmt) {
+ if (s.Update == null) {
+ // the VarDeclStmt has no associated assignment
+ } else if (s.Update is UpdateStmt) {
var upd = (UpdateStmt)s.Update;
foreach (var rhs in upd.Rhss) {
foreach (var ee in rhs.SubExpressions) {
|