diff options
Diffstat (limited to 'Test/og/parallel1.bpl')
-rw-r--r-- | Test/og/parallel1.bpl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/og/parallel1.bpl b/Test/og/parallel1.bpl index ecddc9fc..fc33d6cc 100644 --- a/Test/og/parallel1.bpl +++ b/Test/og/parallel1.bpl @@ -25,6 +25,6 @@ procedure {:entrypoint} {:yields} Main() {
while (true)
{
- call PB() | PC() | PD();
+ par PB() | PC() | PD();
}
}
|