1 files changed, 50 insertions, 50 deletions
diff --git a/Util/VS2010/Boogie/BoogieLanguageService/Integration/Resolver.cs b/Util/VS2010/Boogie/BoogieLanguageService/Integration/Resolver.cs
index 9f6ddeba..579a8a37 100644
--- a/Util/VS2010/Boogie/BoogieLanguageService/Integration/Resolver.cs
+++ b/Util/VS2010/Boogie/BoogieLanguageService/Integration/Resolver.cs
@@ -1,50 +1,50 @@
-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
-    }
-}
+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
+    }
+}