From abdbd2a717efd1e6184bf1113ed2cce63da0d0ea Mon Sep 17 00:00:00 2001
From: Unknown <qadeer@FAIZ-AHMED-FAIZ.redmond.corp.microsoft.com>
Date: Fri, 1 Mar 2013 22:05:19 -0800
Subject: added parallel calls

---
 Test/og/one.bpl | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'Test/og/one.bpl')

diff --git a/Test/og/one.bpl b/Test/og/one.bpl
index bb7b1d01..806a4178 100644
--- a/Test/og/one.bpl
+++ b/Test/og/one.bpl
@@ -8,6 +8,7 @@ procedure A()
 procedure B()
 {
   x := 5;
-  assert{:yield} x == 5;
+  yield;
+  assert x == 5;
 }
 
-- 
cgit v1.2.3