More line ending fixups.

1 files changed, 3 insertions, 3 deletions

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