1 files changed, 3 insertions, 3 deletions
diff --git a/Source/VCExpr/SimplifyLikeLineariser.ssc b/Source/VCExpr/SimplifyLikeLineariser.ssc
index 64af05fd..52c51c3e 100644
--- a/Source/VCExpr/SimplifyLikeLineariser.ssc
+++ b/Source/VCExpr/SimplifyLikeLineariser.ssc
@@ -262,7 +262,7 @@ namespace Microsoft.Boogie.VCExprAST
     internal const string! eqName = "EQ"; // equality
     internal const string! neqName = "NEQ"; // inequality
     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
@@ -377,7 +377,7 @@ namespace Microsoft.Boogie.VCExprAST
       } else {
         wr.Write("({0} ", eqName);
         WriteId(printedName);
-        wr.Write(" {0})", boolTrueName);        
+        wr.Write(" {0})", boolTrueName);
       }
 
       return true;
@@ -663,7 +663,7 @@ namespace Microsoft.Boogie.VCExprAST
           ExprLineariser.Linearise(node[0], options);
           wr.Write("))");
         } else {
-          WriteApplication(impliesName, node, options);          
+          WriteApplication(impliesName, node, options);
         }
         return true;
       }