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

diff --git a/Test/z3api/boog22.bpl b/Test/z3api/boog22.bpl
index c255a3c5..d1b9bc0f 100644
--- a/Test/z3api/boog22.bpl
+++ b/Test/z3api/boog22.bpl
@@ -1,11 +1,11 @@
-type ref;

-type W;

-

-function f1(W,int) returns (int);

-function f1(W,int,int) returns (int);

-

-procedure main() 

-{  

-  var w: W;

-  assert(f1(w,0)==f1(w,0,0));

+type ref;
+type W;
+
+function f1(W,int) returns (int);
+function f1(W,int,int) returns (int);
+
+procedure main() 
+{  
+  var w: W;
+  assert(f1(w,0)==f1(w,0,0));
 }
\ No newline at end of file