1 files changed, 0 insertions, 11 deletions
diff --git a/Util/VS2010/DafnyExtension/DafnyExtension/IdentifierTagger.cs b/Util/VS2010/DafnyExtension/DafnyExtension/IdentifierTagger.cs
index 77a1fcf8..0304dd20 100644
--- a/Util/VS2010/DafnyExtension/DafnyExtension/IdentifierTagger.cs
+++ b/Util/VS2010/DafnyExtension/DafnyExtension/IdentifierTagger.cs
@@ -114,9 +114,6 @@ namespace DafnyLanguage
 
       foreach (var module in program.Modules) {
         foreach (var d in module.TopLevelDecls) {
-          if (!HasBodyTokens(d) && !(d is ClassDecl)) {
-            continue;
-          }
           if (d is DatatypeDecl) {
             var dt = (DatatypeDecl)d;
             foreach (var ctor in dt.Ctors) {
@@ -129,9 +126,6 @@ namespace DafnyLanguage
           } else if (d is ClassDecl) {
             var cl = (ClassDecl)d;
             foreach (var member in cl.Members) {
-              if (!HasBodyTokens(member)) {
-                continue;
-              }
               if (member is Function) {
                 var f = (Function)member;
                 foreach (var p in f.Formals) {
@@ -261,11 +255,6 @@ namespace DafnyLanguage
       }
     }
 
-    bool HasBodyTokens(Declaration decl) {
-      Contract.Requires(decl != null);
-      return decl.BodyStartTok != Bpl.Token.NoToken && decl.BodyEndTok != Bpl.Token.NoToken;
-    }
-
     class IdRegion
     {
       public readonly int Start;