diff -r e74c696821a2 -r 5deefcc8cffa progs/app6.scala
--- a/progs/app6.scala	Tue Aug 23 23:12:55 2016 +0200
+++ b/progs/app6.scala	Tue Sep 20 12:24:29 2016 +0100
@@ -1,4 +1,4 @@
-def simp(r: Rexp): Rexp = r match {
+def simp(r: Rexp) : Rexp = r match {
   case ALT(r1, r2) => {
     (simp(r1), simp(r2)) match {
       case (ZERO, r2s) => r2s