diff --git a/src/protocol/inputsource.rs b/src/protocol/inputsource.rs index cbf32808cb2a174ec42bf310295cf70cbc598ab7..d32a32a8d4fdfced36e7620ce21089d1cdedaa98 100644 --- a/src/protocol/inputsource.rs +++ b/src/protocol/inputsource.rs @@ -28,10 +28,12 @@ primitive alternator(in i, out l, out r) { } } primitive replicator(in i, out l, out r) { - while(true) synchronous() if(fires(i)) { - msg m = get(i); - put(l, m); - put(r, m); + while(true) synchronous { + if(fires(i)) { + msg m = get(i); + put(l, m); + put(r, m); + } } } primitive merger(in l, in r, out o) {