1 files changed, 29 insertions, 29 deletions
diff --git a/Util/VS2010/Boogie/BoogieLanguageService/Integration/Declaration.cs b/Util/VS2010/Boogie/BoogieLanguageService/Integration/Declaration.cs
index c0fda5ca..fa1ac730 100644
--- a/Util/VS2010/Boogie/BoogieLanguageService/Integration/Declaration.cs
+++ b/Util/VS2010/Boogie/BoogieLanguageService/Integration/Declaration.cs
@@ -1,30 +1,30 @@
-using System;
-using System.Collections.Generic;
-
-namespace Demo
-{
-    public struct Declaration : IComparable<Declaration>
-    {
-        public Declaration(string description, string displayText, int glyph, string name)
-        {
-            this.Description = description;
-            this.DisplayText = displayText;
-            this.Glyph = glyph;
-            this.Name = name;
-        }
-
-        public string Description;
-        public string DisplayText;
-        public int Glyph;
-        public string Name;
-
-        #region IComparable<Declaration> Members
-
-        public int CompareTo(Declaration other)
-        {
-            return DisplayText.CompareTo(other.DisplayText);
-        }
-
-        #endregion
-    }
+using System;
+using System.Collections.Generic;
+
+namespace Demo
+{
+    public struct Declaration : IComparable<Declaration>
+    {
+        public Declaration(string description, string displayText, int glyph, string name)
+        {
+            this.Description = description;
+            this.DisplayText = displayText;
+            this.Glyph = glyph;
+            this.Name = name;
+        }
+
+        public string Description;
+        public string DisplayText;
+        public int Glyph;
+        public string Name;
+
+        #region IComparable<Declaration> Members
+
+        public int CompareTo(Declaration other)
+        {
+            return DisplayText.CompareTo(other.DisplayText);
+        }
+
+        #endregion
+    }
 }
 \ No newline at end of file