From 172554c51fad4092f2b4e52a921ad0e86fa67ca6 Mon Sep 17 00:00:00 2001
From: Rustan Leino <unknown>
Date: Wed, 6 Mar 2013 15:09:04 -0800
Subject: Renamed "parallel" statement to "forall" statement, and made the
 parentheses around the bound variables optional.

---
 Test/dafny1/Queue.dfy | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Test/dafny1')

diff --git a/Test/dafny1/Queue.dfy b/Test/dafny1/Queue.dfy
index 0edfab81..8396ec5c 100644
--- a/Test/dafny1/Queue.dfy
+++ b/Test/dafny1/Queue.dfy
@@ -85,12 +85,12 @@ class Queue<T> {
     tail.next := n;
     tail := n;
 
-    parallel (m | m in spine) {
+    forall m | m in spine {
       m.tailContents := m.tailContents + [t];
     }
     contents := head.tailContents;
 
-    parallel (m | m in spine) {
+    forall m | m in spine {
       m.footprint := m.footprint + n.footprint;
     }
     footprint := footprint + n.footprint;
-- 
cgit v1.2.3