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

diff --git a/Test/forro/prog0.forro b/Test/forro/prog0.forro
index cf06e1f9..07966e9d 100644
--- a/Test/forro/prog0.forro
+++ b/Test/forro/prog0.forro
@@ -1,39 +1,39 @@
-procedure a, b, c := P(x, y, z)

-  requires 10

-  ensures 20

-do

-  if 30 then else end;

-  if 31 then else end;

-  while x < z

-    invariant x <= z

-    invariant b.valid and 1

-  do

-    k := x + 1;

-  end;

-  (x+5).head := c.tail;

-  a := new (17, 18);

-  assert a != null;

-  m := k + a + null;

-  c := m;

-  call Q(x, y, y);

-  if x then

-    call a, c, b := P(a, b, c);

-  else

-    call R();

-  end;

-end;

-

-

-procedure Q(x, y, z)

-  requires 10

-  ensures 20

-do

-  if 40 then else end;

-end;

-

-

-procedure R()

-  requires 10

-  ensures 20

-do

-end;

+procedure a, b, c := P(x, y, z)
+  requires 10
+  ensures 20
+do
+  if 30 then else end;
+  if 31 then else end;
+  while x < z
+    invariant x <= z
+    invariant b.valid and 1
+  do
+    k := x + 1;
+  end;
+  (x+5).head := c.tail;
+  a := new (17, 18);
+  assert a != null;
+  m := k + a + null;
+  c := m;
+  call Q(x, y, y);
+  if x then
+    call a, c, b := P(a, b, c);
+  else
+    call R();
+  end;
+end;
+
+
+procedure Q(x, y, z)
+  requires 10
+  ensures 20
+do
+  if 40 then else end;
+end;
+
+
+procedure R()
+  requires 10
+  ensures 20
+do
+end;