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;	
+}