summaryrefslogtreecommitdiff
path: root/Test/og/parallel1.bpl
diff options
context:
space:
mode:
Diffstat (limited to 'Test/og/parallel1.bpl')
-rw-r--r--Test/og/parallel1.bpl2
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();
}
}