From b4d5b58959f9d416976910609f46733ee91bacb0 Mon Sep 17 00:00:00 2001
From: "Kartik K. Agaram" <vc@akkartik.com>
Date: Sun, 9 Oct 2016 00:24:24 -0700
Subject: 3491

Update the html, proving that commit 3490 worked. The only changes are
from other recent commits.
---
 html/filesystem.mu.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'html/filesystem.mu.html')

diff --git a/html/filesystem.mu.html b/html/filesystem.mu.html
index aaa31fe0..f25f8a2f 100644
--- a/html/filesystem.mu.html
+++ b/html/filesystem.mu.html
@@ -40,7 +40,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color
   source-file:&amp;:source:char<span class="Special"> &lt;- </span>start-reading <span class="Constant">0/real-filesystem</span>, <span class="Constant">[/tmp/mu-x]</span>
   sink-file:&amp;:sink:char, write-routine:num<span class="Special"> &lt;- </span>start-writing <span class="Constant">0/real-filesystem</span>, <span class="Constant">[/tmp/mu-y]</span>
   <span class="Delimiter">{</span>
-    c:char, done?:boolean, source-file<span class="Special"> &lt;- </span>read source-file
+    c:char, done?:bool, source-file<span class="Special"> &lt;- </span>read source-file
     <span class="muControl">break-if</span> done?
     sink-file<span class="Special"> &lt;- </span>write sink-file, c
     <span class="muControl">loop</span>
-- 
cgit 1.4.1-2-gfad0