Fixup line-endings.

1 files changed, 3 insertions, 3 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) {