From 9458918f9eb88817e6b58e6e475597f8d60ecc40 Mon Sep 17 00:00:00 2001
From: "Kartik K. Agaram" <vc@akkartik.com>
Date: Sat, 8 Oct 2016 10:52:58 -0700
Subject: 3483

---
 channel.mu | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'channel.mu')

diff --git a/channel.mu b/channel.mu
index 8d71de5c..66d0be79 100644
--- a/channel.mu
+++ b/channel.mu
@@ -7,7 +7,7 @@ def producer sink:&:sink:char -> sink:&:sink:char [
   # n = 0
   n:char <- copy 0
   {
-    done?:boolean <- lesser-than n, 5
+    done?:bool <- lesser-than n, 5
     break-unless done?
     # other threads might get between these prints
     $print [produce: ], n, [ 
@@ -25,7 +25,7 @@ def consumer source:&:source:char -> source:&:source:char [
   load-ingredients
   {
     # read an integer from the channel
-    n:char, eof?:boolean, source <- read source
+    n:char, eof?:bool, source <- read source
     break-if eof?
     # other threads might get between these prints
     $print [consume: ], n:char, [ 
-- 
cgit 1.4.1-2-gfad0