From d652155ae013f36a1ee17653a8e458baad2d9c2c Mon Sep 17 00:00:00 2001
From: Checkmate50 <dgeisler50@gmail.com>
Date: Mon, 6 Jun 2016 23:14:18 -0600
Subject: Merging complete.  Everything looks good *crosses fingers*

---
 Util/VS2010/Boogie/BoogieLanguageService/Guids.cs | 24 +++++++++++------------
 1 file changed, 12 insertions(+), 12 deletions(-)

(limited to 'Util/VS2010/Boogie/BoogieLanguageService/Guids.cs')

diff --git a/Util/VS2010/Boogie/BoogieLanguageService/Guids.cs b/Util/VS2010/Boogie/BoogieLanguageService/Guids.cs
index a09463fd..73d0cbb0 100644
--- a/Util/VS2010/Boogie/BoogieLanguageService/Guids.cs
+++ b/Util/VS2010/Boogie/BoogieLanguageService/Guids.cs
@@ -1,13 +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);
-  };
+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
-- 
cgit v1.2.3