diff -r 6e035162345a -r dfa9dbb8f8e6 progs/scala/re.scala
--- a/progs/scala/re.scala	Mon Mar 09 10:49:17 2015 +0000
+++ b/progs/scala/re.scala	Fri Mar 13 21:27:03 2015 +0000
@@ -371,12 +371,13 @@
   time(lexing_simp(WHILE_REGS, prog2 * i))
 }
 
-val a0 = (EMPTY | "c") ~ ("b" | "cb")
-val a1 = der('c', a0)
+val a0 = (EMPTY | "a") ~ ("b" | "abc")
+val a1 = der('a', a0)
 pretty(a1)
-val List(b1,b2,b3) = values(a1).toList
-vpretty(b1)
-vpretty(b3)
-vpretty(inj(a0,'c',b1))
-vpretty(inj(a0,'c',b3))
+values(a1).toList
+val List(u2,_,u1) = values(a1).toList
+vpretty(u1)
+vpretty(u2)
+vpretty(inj(a0,'a',u1))
+vpretty(inj(a0,'a',u2))