From 51b7e8146f413b83a412572fcc9e3a1a8b302b79 Mon Sep 17 00:00:00 2001
From: Checkmate50 <dgeisler50@gmail.com>
Date: Thu, 17 Mar 2016 13:01:10 -0600
Subject: modified floating point syntax and modified floating point constants
 to use bitvector values

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

(limited to 'Source/BoogieDriver/BoogieDriver.cs')

diff --git a/Source/BoogieDriver/BoogieDriver.cs b/Source/BoogieDriver/BoogieDriver.cs
index 2345cc1e..fa038803 100644
--- a/Source/BoogieDriver/BoogieDriver.cs
+++ b/Source/BoogieDriver/BoogieDriver.cs
@@ -90,7 +90,7 @@ namespace Microsoft.Boogie {
         }
       }
       ExecutionEngine.ProcessFiles(fileList);
-        return 0;
+          return 0;
 
     END:
       if (CommandLineOptions.Clo.XmlSink != null) {
-- 
cgit v1.2.3