diff -r c29853b672fb -r 19f23c4c2167 progs/app7.scala
--- a/progs/app7.scala	Sat Nov 01 16:19:05 2014 +0000
+++ b/progs/app7.scala	Sun Nov 02 09:10:15 2014 +0000
@@ -2,8 +2,8 @@
   def parse(ts: I): Set[(T, I)]
 
   def parse_all(ts: I) : Set[T] =
-    for ((head, tail) <- parse(ts); if (tail.isEmpty)) 
-      yield head
+    for ((head, tail) <- parse(ts); 
+         if (tail.isEmpty)) yield head
 }