Update template for new syntax
This commit is contained in:
parent
30fed9d0f6
commit
6acd48b360
|
@ -6,7 +6,7 @@ message type Greeting(who);
|
||||||
|
|
||||||
spawn named 'sender' {
|
spawn named 'sender' {
|
||||||
on asserted Observe(Greeting(_)) {
|
on asserted Observe(Greeting(_)) {
|
||||||
^ Greeting("world");
|
send Greeting("world");
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue