1 files changed, 0 insertions, 50 deletions
diff --git a/Util/VS2010/Dafny/DafnyLanguageService/Integration/Resolver.cs b/Util/VS2010/Dafny/DafnyLanguageService/Integration/Resolver.cs
deleted file mode 100644
index 9f6ddeba..00000000
--- a/Util/VS2010/Dafny/DafnyLanguageService/Integration/Resolver.cs
+++ /dev/null
@@ -1,50 +0,0 @@
-using System;
-using System.Collections.Generic;
-using System.Text;
-using Irony.Parsing;
-
-namespace Demo
-{
-    public class Resolver : Demo.IASTResolver
-    {
-        #region IASTResolver Members
-
-
-        public IList<Demo.Declaration> FindCompletions(object result, int line, int col)
-        {
-            // Used for intellisense.
-            List<Demo.Declaration> declarations = new List<Demo.Declaration>();
-
-            // Add keywords defined by grammar
-            foreach (KeyTerm key in Configuration.Grammar.KeyTerms.Values)
-            {
-                if(key.OptionIsSet(TermOptions.IsKeyword))
-                {
-                    declarations.Add(new Declaration("", key.Name, 206, key.Name));
-                }
-            }
-
-            declarations.Sort();
-            return declarations;
-        }
-
-        public IList<Demo.Declaration> FindMembers(object result, int line, int col)
-        {
-            List<Demo.Declaration> members = new List<Demo.Declaration>();
-
-            return members;
-        }
-
-        public string FindQuickInfo(object result, int line, int col)
-        {
-            return "unknown";
-        }
-
-        public IList<Demo.Method> FindMethods(object result, int line, int col, string name)
-        {
-            return new List<Demo.Method>();
-        }
-
-        #endregion
-    }
-}