Fixup line-endings.

5 files changed, 7 insertions, 7 deletions

diff --git a/Source/Provers/SMTLib/SMTLibLineariser.cs b/Source/Provers/SMTLib/SMTLibLineariser.cs
index 881df2ce..376e93df 100644
--- a/Source/Provers/SMTLib/SMTLibLineariser.cs
+++ b/Source/Provers/SMTLib/SMTLibLineariser.cs
@@ -180,7 +180,7 @@ void ObjectInvariant()
     internal const string iffName = "iff"; // logical equivalence

     internal const string eqName = "="; // equality

     internal const string lessName = "<";

-    internal const string greaterName = ">";
+    internal const string greaterName = ">";

     internal const string atmostName = "<=";

     internal const string atleastName = ">=";

     internal const string TRUEName = "true"; // nullary predicate that is always true

@@ -358,7 +358,7 @@ void ObjectInvariant()
 

       Linearise(node.Body, options);

 

-      WriteTriggers(node.Triggers, options);
+      WriteTriggers(node.Triggers, options);

       wr.Write(")");

 

       return true;

@@ -591,7 +591,7 @@ void ObjectInvariant()
           }

         }

 

-        return true;
+        return true;

       }

 

       public bool VisitEqOp       (VCExprNAry node, LineariserOptions options) {

diff --git a/Source/Provers/Simplify/Prover.cs b/Source/Provers/Simplify/Prover.cs
index b8810e00..957104f3 100644
--- a/Source/Provers/Simplify/Prover.cs
+++ b/Source/Provers/Simplify/Prover.cs
@@ -97,7 +97,7 @@ namespace Microsoft.Boogie.Simplify {
     }

 

     public void Close()

-      //modifies this.*;
+      //modifies this.*;

     {

       cce.BeginExpose(this);

       {

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");

       }