diff options
Diffstat (limited to '072channel.mu')
| -rw-r--r-- | 072channel.mu | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/072channel.mu b/072channel.mu index 8565cd34..993581ab 100644 --- a/072channel.mu +++ b/072channel.mu @@ -256,8 +256,7 @@ scenario channel-read-not-full [ # every channel comes with a boolean signifying if it's been closed # initially this boolean is false -# todo: can't yet include type ingredients when extending containers -container channel [ +container channel:_elem [ closed?:boolean ] |