diff -r 75c469893514 -r dcd4688690ce progs/app0.scala
--- a/progs/app0.scala	Sun Sep 21 17:40:04 2014 +0100
+++ b/progs/app0.scala	Sun Sep 21 23:23:43 2014 +0100
@@ -1,6 +1,7 @@
 import io.Source
 
 def get_page(url: String) : String = { 
-  Source.fromURL(url).take(10000).mkString  
+  Source.fromURL(url).take(10000).mkString
+}