about summary refs log tree commit diff stats
path: root/html/filesystem.mu.html
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2016-10-09 00:24:24 -0700
committerKartik K. Agaram <vc@akkartik.com>2016-10-09 00:24:24 -0700
commitb4d5b58959f9d416976910609f46733ee91bacb0 (patch)
tree3293be48d95f44481ae2b0cf151099ccf112898f /html/filesystem.mu.html
parentceeb92d470c29613f6a036f9c2077126ecc09b47 (diff)
downloadmu-b4d5b58959f9d416976910609f46733ee91bacb0.tar.gz
3491
Update the html, proving that commit 3490 worked. The only changes are
from other recent commits.
Diffstat (limited to 'html/filesystem.mu.html')
-rw-r--r--html/filesystem.mu.html2
1 files changed, 1 insertions, 1 deletions
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>