diff --git a/examples/eg_protocols.pdl b/examples/eg_protocols.pdl index 0cf53722a500a19b91dff11ac48aba855c664578..27237f06cac58e23f76dcd03b8a42a327aecf811 100644 --- a/examples/eg_protocols.pdl +++ b/examples/eg_protocols.pdl @@ -20,7 +20,10 @@ primitive sync_two(in ia, in ib, out oa, out ob) { } } -composite recovery_bob(in i, out o) { +composite bob3(in i, out o) { + new sync(i, o); +} +composite bob5(in i, out o) { new sync(i, o); }