Normalise line endings using a .gitattributes file. Unfortunately

this required that this commit globally modify most files. If you
want to use git blame to see the real author of a line use the
``-w`` flag so that whitespace changes are ignored.

1 files changed, 4 insertions, 4 deletions

diff --git a/Source/UnitTests/CoreTests/Duplicator.cs b/Source/UnitTests/CoreTests/Duplicator.cs
index 978a041b..9e118f5d 100644
--- a/Source/UnitTests/CoreTests/Duplicator.cs
+++ b/Source/UnitTests/CoreTests/Duplicator.cs
@@ -28,7 +28,7 @@ namespace CoreTests
       var A = new BvConcatExpr(Token.NoToken, bv1_8, bv2_8);
       var B = d.Visit(A);
 
-      // The duplicator should ensure we get new BVConcatExprs

+      // The duplicator should ensure we get new BVConcatExprs
       Assert.AreNotSame(A, B);
     }
 
@@ -38,7 +38,7 @@ namespace CoreTests
       var A = new BvExtractExpr(Token.NoToken, bv2_8, 6,0);
       var B = d.Visit(A);
 
-      // The duplicator should ensure we get new BVExtractExprs

+      // The duplicator should ensure we get new BVExtractExprs
       Assert.AreNotSame(A, B);
     }
 
@@ -47,8 +47,8 @@ namespace CoreTests
       var bv1_8 = new LiteralExpr(Token.NoToken, BigNum.FromInt(1), 8);
       var bv2_8 = new LiteralExpr(Token.NoToken, BigNum.FromInt(2), 8);
       var A = NAryExpr.Eq (bv1_8, bv2_8);
-      var B = d.Visit(A);

-

+      var B = d.Visit(A);
+
       Assert.AreNotSame(A, B);
     }