From 6b43e20861696e94731f6fd6c08189ac08a37d72 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Sun, 3 Jul 2016 11:17:21 -0700 Subject: 3098 --- 074channel.mu | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to '074channel.mu') diff --git a/074channel.mu b/074channel.mu index 361fae1a..e018db2f 100644 --- a/074channel.mu +++ b/074channel.mu @@ -278,7 +278,7 @@ container channel:_elem [ ] # a channel can be closed from either the source or the sink -# both threads can modify it, but they can only set it, so this is a benign race +# both routines can modify the 'closed?' bit, but they can only ever set it, so this is a benign race def close x:address:source:_elem -> x:address:source:_elem [ local-scope load-ingredients -- cgit 1.4.1-2-gfad0