Removed Dafny, Jennisys, Chalice, and BCT, which now live in different Codeplex repositories.

1 files changed, 0 insertions, 30 deletions

diff --git a/Util/VS2010/Dafny/DafnyLanguageService/Integration/Declaration.cs b/Util/VS2010/Dafny/DafnyLanguageService/Integration/Declaration.cs
deleted file mode 100644
index c0fda5ca..00000000
--- a/Util/VS2010/Dafny/DafnyLanguageService/Integration/Declaration.cs
+++ /dev/null
@@ -1,30 +0,0 @@
-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