From 9b2ab3b80a0c816862b8b6c90e64050b8369a51e Mon Sep 17 00:00:00 2001
From: rustanleino <unknown>
Date: Wed, 17 Nov 2010 17:31:39 +0000
Subject: Forro: revised syntax (this version used in Boogie tutorial at SBMF
 2010)

---
 Test/forro/prog0.forro | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'Test/forro')

diff --git a/Test/forro/prog0.forro b/Test/forro/prog0.forro
index 87dbbd01..cf06e1f9 100644
--- a/Test/forro/prog0.forro
+++ b/Test/forro/prog0.forro
@@ -1,4 +1,4 @@
-procedure a b c := P x y z
+procedure a, b, c := P(x, y, z)
   requires 10
   ensures 20
 do
@@ -11,20 +11,20 @@ do
     k := x + 1;
   end;
   (x+5).head := c.tail;
-  a := new 17 18;
+  a := new (17, 18);
   assert a != null;
   m := k + a + null;
   c := m;
-  call Q(x y y);
+  call Q(x, y, y);
   if x then
-    call a c b := P(a b c);
+    call a, c, b := P(a, b, c);
   else
     call R();
   end;
 end;
 
 
-procedure Q x y z
+procedure Q(x, y, z)
   requires 10
   ensures 20
 do
@@ -32,7 +32,7 @@ do
 end;
 
 
-procedure R
+procedure R()
   requires 10
   ensures 20
 do
-- 
cgit v1.2.3