From 31596ea32f6fd2e646e1d477f35369ffebf1f3d8 Mon Sep 17 00:00:00 2001
From: MichalMoskal <unknown>
Date: Fri, 6 Aug 2010 16:32:26 +0000
Subject: More line ending fixups.

---
 Dafny/Printer.cs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'Dafny/Printer.cs')

diff --git a/Dafny/Printer.cs b/Dafny/Printer.cs
index cd026393..a0d0e583 100644
--- a/Dafny/Printer.cs
+++ b/Dafny/Printer.cs
@@ -120,7 +120,7 @@ void ObjectInvariant()
         } else if (m is CouplingInvariant) {
           wr.WriteLine();
           PrintCouplingInvariant((CouplingInvariant)m, indent);
-          state = 2;
+          state = 2;
         } else {
           Contract.Assert(false); throw new cce.UnreachableException();  // unexpected member
         }
@@ -215,7 +215,7 @@ void ObjectInvariant()
       }
       wr.Write(" by ");
       PrintExpression(inv.Expr);
-      wr.WriteLine(";");
+      wr.WriteLine(";");
     }
     
     public void PrintFunction(Function f, int indent) {
@@ -287,7 +287,7 @@ void ObjectInvariant()
       }
       wr.WriteLine(method.Body == null ? ";" : "");
 
-      int ind = indent + IndentAmount;
+      int ind = indent + IndentAmount;
       PrintSpec("requires", method.Req, ind);
       PrintFrameSpecLine("modifies", method.Mod, ind);
       PrintSpec("ensures", method.Ens, ind);
-- 
cgit v1.2.3