# HG changeset patch
# User Christian Urban <christian.urban@kcl.ac.uk>
# Date 1634680311 -3600
# Node ID 3a535de228165ed036f7551ae951f944b9e25bb5
# Parent  ddd9659971eca49e6a2c7fd36cf3378b81ad2541
updated

diff -r ddd9659971ec -r 3a535de22816 progs/lexer/lex.sc
--- a/progs/lexer/lex.sc	Tue Oct 19 22:49:14 2021 +0100
+++ b/progs/lexer/lex.sc	Tue Oct 19 22:51:51 2021 +0100
@@ -157,7 +157,7 @@
 val KEYWORD : Rexp = "skip" | "while" | "do" | "if" | "then" | "else" | "read" | "write" 
 val SEMI: Rexp = ";"
 val OP: Rexp = ":=" | "=" | "-" | "+" | "*" | "!=" | "<" | ">"
-val WHITESPACE = PLUS(" " | "\n" | "\t")
+val WHITESPACE = PLUS(" " | "\n" | "\t" | "\r")
 val RPAREN: Rexp = "}"
 val LPAREN: Rexp = "{"
 val STRING: Rexp = "\"" ~ SYM.% ~ "\""
diff -r ddd9659971ec -r 3a535de22816 progs/lexer/lexer.sc
--- a/progs/lexer/lexer.sc	Tue Oct 19 22:49:14 2021 +0100
+++ b/progs/lexer/lexer.sc	Tue Oct 19 22:51:51 2021 +0100
@@ -204,7 +204,7 @@
 val KEYWORD : Rexp = "skip" | "while" | "do" | "if" | "then" | "else" | "read" | "write" 
 val SEMI: Rexp = ";"
 val OP: Rexp = ":=" | "=" | "-" | "+" | "*" | "!=" | "<" | ">"
-val WHITESPACE = PLUS(" " | "\n" | "\t")
+val WHITESPACE = PLUS(" " | "\n" | "\t" | "\r")
 val RPAREN: Rexp = "{"
 val LPAREN: Rexp = "}"
 val STRING: Rexp = "\"" ~ SYM.% ~ "\""