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

diff --git a/Test/doomed/doomdebug.bpl b/Test/doomed/doomdebug.bpl
index 0f45c13c..ef89e9dc 100644
--- a/Test/doomed/doomdebug.bpl
+++ b/Test/doomed/doomdebug.bpl
@@ -1,44 +1,44 @@
-procedure badtrace(x:int, y:int, z:int)

-{

-  var xin : int;

-  xin := x+z;

-

-  

-  if (y>5) {

-	xin:=5;

-  } else {

-	assert xin != x;

-  }

-}

-

-procedure baddiamond(x:int, y:int, z:int)

-{

-	var xin : int;

-	var yin : int;

-	var zin : int;

-	xin := x;

-	yin := y;

-	zin := z;

-	

-	if (y<5) {

-		xin := xin -3;		

-	} else {

-		zin := zin +10;

-		xin := 0;

-	}

-	

-	if (x<100) {

-		yin := 3;		

-	} else {

-		zin := 5;

-	}

-	

-	if (z>5) {

-		yin := yin - 2;

-		xin := xin + 3;

-	}

-

-	zin:=zin+yin;

-	

-	assert xin!=x;	

-}

+procedure badtrace(x:int, y:int, z:int)
+{
+  var xin : int;
+  xin := x+z;
+
+  
+  if (y>5) {
+	xin:=5;
+  } else {
+	assert xin != x;
+  }
+}
+
+procedure baddiamond(x:int, y:int, z:int)
+{
+	var xin : int;
+	var yin : int;
+	var zin : int;
+	xin := x;
+	yin := y;
+	zin := z;
+	
+	if (y<5) {
+		xin := xin -3;		
+	} else {
+		zin := zin +10;
+		xin := 0;
+	}
+	
+	if (x<100) {
+		yin := 3;		
+	} else {
+		zin := 5;
+	}
+	
+	if (z>5) {
+		yin := yin - 2;
+		xin := xin + 3;
+	}
+
+	zin:=zin+yin;
+	
+	assert xin!=x;	
+}