diff options
author | 2013-03-01 22:05:19 -0800 | |
---|---|---|
committer | 2013-03-01 22:05:19 -0800 | |
commit | abdbd2a717efd1e6184bf1113ed2cce63da0d0ea (patch) | |
tree | 192a5dac7dfcf28cc8278964f4dff4cb2a4273c3 /Test/og/one.bpl | |
parent | c5c2c9465a53e4b35a20ad5efe73882dc6a5af34 (diff) |
added parallel calls
Diffstat (limited to 'Test/og/one.bpl')
-rw-r--r-- | Test/og/one.bpl | 3 |
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;
}
|