GPUVerify: fix line endings

1 files changed, 7 insertions, 7 deletions

diff --git a/Source/GPUVerify/BlockPredicator.cs b/Source/GPUVerify/BlockPredicator.cs
index a778005e..7453d9ff 100644
--- a/Source/GPUVerify/BlockPredicator.cs
+++ b/Source/GPUVerify/BlockPredicator.cs
@@ -158,14 +158,14 @@ class BlockPredicator {
     var prevBlock = entryBlock;
     foreach (var n in sortedBlocks) {
       if (n.Item2) {
-        var backedgeBlock = new Block();

-        newBlocks.Add(backedgeBlock);

-

+        var backedgeBlock = new Block();
+        newBlocks.Add(backedgeBlock);
+
         backedgeBlock.Label = n.Item1.Label + ".backedge";
-        backedgeBlock.Cmds = new CmdSeq(new AssumeCmd(Token.NoToken,

-          Expr.Eq(cur, blockIds[n.Item1]),

-          new QKeyValue(Token.NoToken, "backedge", new List<object>(), null)));

-        backedgeBlock.TransferCmd = new GotoCmd(Token.NoToken,

+        backedgeBlock.Cmds = new CmdSeq(new AssumeCmd(Token.NoToken,
+          Expr.Eq(cur, blockIds[n.Item1]),
+          new QKeyValue(Token.NoToken, "backedge", new List<object>(), null)));
+        backedgeBlock.TransferCmd = new GotoCmd(Token.NoToken,
                                                 new BlockSeq(n.Item1));
 
         var tailBlock = new Block();