1 files changed, 0 insertions, 13 deletions
diff --git a/Util/VS2010/Dafny/DafnyLanguageService/Guids.cs b/Util/VS2010/Dafny/DafnyLanguageService/Guids.cs
deleted file mode 100644
index 61ea05d4..00000000
--- a/Util/VS2010/Dafny/DafnyLanguageService/Guids.cs
+++ /dev/null
@@ -1,13 +0,0 @@
-using System;
-
-namespace Demo
-{
-    static class GuidList
-    {
-        public const string guidIronyLanguageServiceString = "1F9687D0-937C-428E-ACFF-A7622A14100C";
-        public const string guidIronyLanguageServicePkgString = "F85E7515-4CA6-42A5-86E0-D2312AE91D23";
-        public const string guidIronyLanguageServiceCmdSetString = "68251AE3-0205-4FC9-8B12-D4C3EA9F8D6C";
-
-        public static readonly Guid guidIronyLanguageServiceCmdSet = new Guid(guidIronyLanguageServiceCmdSetString);
-    };
-}
-\ No newline at end of file