Fix line endings

1 files changed, 3 insertions, 3 deletions

diff --git a/Source/VCGeneration/BlockPredicator.cs b/Source/VCGeneration/BlockPredicator.cs
index 284247e6..f4e82182 100755
--- a/Source/VCGeneration/BlockPredicator.cs
+++ b/Source/VCGeneration/BlockPredicator.cs
@@ -28,7 +28,7 @@ public class BlockPredicator {
 
   BlockPredicator(Program p, Implementation i, bool cci, bool upp) {
     prog = p;
-    impl = i;

+    impl = i;
     createCandidateInvariants = cci;
     useProcedurePredicates = upp;
   }
@@ -278,8 +278,8 @@ public class BlockPredicator {
              "non-uniform loop"));
   }
 
-  public static void Predicate(Program p,

-                               bool createCandidateInvariants = true,

+  public static void Predicate(Program p,
+                               bool createCandidateInvariants = true,
                                bool useProcedurePredicates = true) {
     foreach (var decl in p.TopLevelDeclarations.ToList()) {
       if (useProcedurePredicates && decl is DeclWithFormals && !(decl is Function)) {