diff options
Diffstat (limited to 'channel.mu')
| -rw-r--r-- | channel.mu | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/channel.mu b/channel.mu index e7415754..e2e1e758 100644 --- a/channel.mu +++ b/channel.mu @@ -16,6 +16,7 @@ def producer sink:address:sink:character -> sink:address:sink:character [ n <- add n, 1 loop } + close sink ] def consumer source:address:source:character -> source:address:source:character [ |