summaryrefslogtreecommitdiff
path: root/Test/og/one.bpl
diff options
context:
space:
mode:
authorGravatar Unknown <qadeer@FAIZ-AHMED-FAIZ.redmond.corp.microsoft.com>2013-03-01 22:05:19 -0800
committerGravatar Unknown <qadeer@FAIZ-AHMED-FAIZ.redmond.corp.microsoft.com>2013-03-01 22:05:19 -0800
commitabdbd2a717efd1e6184bf1113ed2cce63da0d0ea (patch)
tree192a5dac7dfcf28cc8278964f4dff4cb2a4273c3 /Test/og/one.bpl
parentc5c2c9465a53e4b35a20ad5efe73882dc6a5af34 (diff)
added parallel calls
Diffstat (limited to 'Test/og/one.bpl')
-rw-r--r--Test/og/one.bpl3
1 files changed, 2 insertions, 1 deletions
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;
}