# HG changeset patch
# User Christian Urban <christian.urban@kcl.ac.uk>
# Date 1634641993 -3600
# Node ID bbbc2a7940cb636f1322c1c1aa92398d5fbc84e4
# Parent  97b622202547b24bfec05fcaa2c91816d97c414a
updated

diff -r 97b622202547 -r bbbc2a7940cb progs/lexer/lex.sc
--- a/progs/lexer/lex.sc	Sat Oct 09 12:29:15 2021 +0100
+++ b/progs/lexer/lex.sc	Tue Oct 19 12:13:13 2021 +0100
@@ -128,7 +128,7 @@
   case (RECD(x, r1), _) => Rec(x, inj(r1, c, v))
 }
 
-// lexing functions including simplification
+// lexing functions without simplification
 def lex(r: Rexp, s: List[Char]) : Val = s match {
   case Nil => if (nullable(r)) mkeps(r) else 
     { throw new Exception("lexing error") }