From 0ad7d270e9a989919d9291a86a018fe55349022b Mon Sep 17 00:00:00 2001
From: Unknown <qadeer@FAIZ-AHMED-FAIZ.redmond.corp.microsoft.com>
Date: Fri, 1 Feb 2013 21:43:07 -0800
Subject: fixed bug in OG added another OG sample illustrating rely-guarantee
 encoding

---
 Source/BoogieDriver/BoogieDriver.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Source/BoogieDriver')

diff --git a/Source/BoogieDriver/BoogieDriver.cs b/Source/BoogieDriver/BoogieDriver.cs
index 69fb547c..c4db46f4 100644
--- a/Source/BoogieDriver/BoogieDriver.cs
+++ b/Source/BoogieDriver/BoogieDriver.cs
@@ -197,7 +197,7 @@ namespace Microsoft.Boogie {
         }
         LinearSetTransform linearTransform = new LinearSetTransform(program);
         linearTransform.Transform();
-          
+
         EliminateDeadVariablesAndInline(program);
 
         int errorCount, verified, inconclusives, timeOuts, outOfMemories;
-- 
cgit v1.2.3