diff -r bfab5aded21d -r c4d821c6309d progs/scala/autos.scala
--- a/progs/scala/autos.scala	Fri Jan 12 02:33:35 2018 +0000
+++ b/progs/scala/autos.scala	Tue May 15 10:24:25 2018 +0100
@@ -383,7 +383,7 @@
 
 */ 
 
-// Regular expressions fro derivative automata
+// Regular expressions for derivative automata
 
 abstract class Rexp
 case object ZERO extends Rexp