From b6f22568f1883351ea478c711d84548878870af8 Mon Sep 17 00:00:00 2001
From: Unknown <leino@LEINO6.redmond.corp.microsoft.com>
Date: Wed, 29 Aug 2012 17:32:47 -0700
Subject: DafnyExtension: fixed bug (omitted case: VarDeclStmt has no Update
 component)

---
 Util/VS2010/DafnyExtension/DafnyExtension/IdentifierTagger.cs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'Util')

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) {
-- 
cgit v1.2.3