diff -r 1a4e5b94293b -r c1de75d20aa4 progs/scala/re-bit.scala
--- a/progs/scala/re-bit.scala	Sun Sep 30 12:02:04 2018 +0100
+++ b/progs/scala/re-bit.scala	Sat Oct 27 21:36:29 2018 +0100
@@ -134,6 +134,7 @@
   case STAR(r) => ASTAR(Nil, internalise(r))
 }
 
+
 internalise(("a" | "ab") ~ ("b" | ""))
 
 def retrieve(r: ARexp, v: Val) : List[Boolean] = (r, v) match {