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/SMTLib/SMTLibLineariser.cs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'Source/Provers/SMTLib/SMTLibLineariser.cs')

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) {
-- 
cgit v1.2.3