diff -r 546f2090ce12 -r a47c4227a0c6 progs/crawler3.scala
--- a/progs/crawler3.scala	Fri Sep 23 15:22:33 2016 +0100
+++ b/progs/crawler3.scala	Sat Sep 24 08:31:04 2016 +0100
@@ -6,8 +6,8 @@
 import scala.util._
 
 def get_page(url: String) : String = {
-  Try(Source.fromURL(url)("ISO-8859-1").take(10000).mkString) getOrElse 
-    { println(s"  Problem with: $url"); ""}
+  Try(Source.fromURL(url)("ISO-8859-1").take(10000).mkString).
+    getOrElse { println(s"  Problem with: $url"); ""}
 }
 
 // regexes for URLs, for "my" domain and for email addresses