1 files changed, 13 insertions, 0 deletions
diff --git a/Util/VS2010/Boogie/BoogieLanguageService/Guids.cs b/Util/VS2010/Boogie/BoogieLanguageService/Guids.cs
new file mode 100644
index 00000000..a09463fd
--- /dev/null
+++ b/Util/VS2010/Boogie/BoogieLanguageService/Guids.cs
@@ -0,0 +1,13 @@
+using System;
+
+namespace Demo
+{
+  static class GuidList
+  {
+    public const string guidIronyLanguageServiceString = "0A949930-AB4A-4A00-ABD0-191E81249240";
+    public const string guidIronyLanguageServicePkgString = "FC7F6CE7-49C7-40C9-8636-EB37A936D77F";
+    public const string guidIronyLanguageServiceCmdSetString = "72B8E853-2250-426B-9566-6D318ADE7C2D";
+
+    public static readonly Guid guidIronyLanguageServiceCmdSet = new Guid(guidIronyLanguageServiceCmdSetString);
+  };
+}
+\ No newline at end of file