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, 6 insertions, 6 deletions

diff --git a/Test/snapshots/Snapshots34.v1.bpl b/Test/snapshots/Snapshots34.v1.bpl
index b374f7c0..401b4f9e 100644
--- a/Test/snapshots/Snapshots34.v1.bpl
+++ b/Test/snapshots/Snapshots34.v1.bpl
@@ -1,6 +1,6 @@
-procedure {:checksum "2"} P();

-

-implementation {:id "P"} {:checksum "1"} P()

-{

-    assert 1 != 1;

-}

+procedure {:checksum "2"} P();
+
+implementation {:id "P"} {:checksum "1"} P()
+{
+    assert 1 != 1;
+}