From 9edae7ed37692a03f1c1e5c9596b5bd88482f829 Mon Sep 17 00:00:00 2001
From: MichalMoskal <unknown>
Date: Fri, 6 Aug 2010 16:29:39 +0000
Subject: Fixup line-endings.

---
 Source/Provers/Z3/Inspector.cs         | 2 +-
 Source/Provers/Z3/ProverInterface.cs   | 2 +-
 Source/Provers/Z3/TypeDeclCollector.cs | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

(limited to 'Source/Provers/Z3')

diff --git a/Source/Provers/Z3/Inspector.cs b/Source/Provers/Z3/Inspector.cs
index 6425dd00..425de1ff 100644
--- a/Source/Provers/Z3/Inspector.cs
+++ b/Source/Provers/Z3/Inspector.cs
@@ -44,7 +44,7 @@ void ObjectInvariant()
           Labels[lab.label] = lab.pos;
         }
       }
-      return true;
+      return true;
     }
   }
 
diff --git a/Source/Provers/Z3/ProverInterface.cs b/Source/Provers/Z3/ProverInterface.cs
index f1ba1369..172fbf60 100644
--- a/Source/Provers/Z3/ProverInterface.cs
+++ b/Source/Provers/Z3/ProverInterface.cs
@@ -90,7 +90,7 @@ void ObjectInvariant()
     public int Timeout { get { return TimeLimit / 1000; } }
     public bool Typed {
       get { 
-        return CommandLineOptions.Clo.Z3types || BitVectors == CommandLineOptions.BvHandling.Z3Native;
+        return CommandLineOptions.Clo.Z3types || BitVectors == CommandLineOptions.BvHandling.Z3Native;
       } 
     }
     public int Lets {
diff --git a/Source/Provers/Z3/TypeDeclCollector.cs b/Source/Provers/Z3/TypeDeclCollector.cs
index 892e7a88..3baa1d26 100644
--- a/Source/Provers/Z3/TypeDeclCollector.cs
+++ b/Source/Provers/Z3/TypeDeclCollector.cs
@@ -282,7 +282,7 @@ void ObjectInvariant()
 
     private string ExtractBuiltin(Function f) {
       Contract.Requires(f != null);
-      string retVal = null;
+      string retVal = null;
       if (NativeBv) {
         retVal = f.FindStringAttribute("bvbuiltin");
       } 
-- 
cgit v1.2.3