From f344b250f6f062a1a1902bf69b23ebf9b565de0e Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Sat, 17 Sep 2016 15:01:51 -0700 Subject: 3395 --- html/real_files.mu.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'html/real_files.mu.html') diff --git a/html/real_files.mu.html b/html/real_files.mu.html index 7046a633..90700144 100644 --- a/html/real_files.mu.html +++ b/html/real_files.mu.html @@ -35,9 +35,9 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color def main [ local-scope - f:number/file <- $open-file-for-reading [/tmp/mu-x] + f:num/file <- $open-file-for-reading [/tmp/mu-x] $print [file to read from: ], f, 10/newline - c:character, eof?:boolean <- $read-from-file f + c:char, eof?:boolean <- $read-from-file f $print [copying ], c, 10/newline f <- $close-file f $print [file after closing: ], f, 10/newline -- cgit 1.4.1-2-gfad0