diff -r e66bd5c563eb -r b5b5583a3a08 progs/lexer/lexer.sc
--- a/progs/lexer/lexer.sc	Mon Jul 27 11:02:48 2020 +0100
+++ b/progs/lexer/lexer.sc	Thu Jul 30 13:50:54 2020 +0100
@@ -81,7 +81,7 @@
 }
 
 
-// extracts a string from value
+// extracts a string from a value
 def flatten(v: Val) : String = v match {
   case Empty => ""
   case Chr(c) => c.toString