tuned error message;
authorwenzelm
Mon Jul 11 17:11:54 2011 +0200 (2011-07-11)
changeset 43750390dbda4f3d7
parent 43749 5ca34f21cb44
child 43751 8c7f69f1825b
tuned error message;
src/Pure/library.scala
     1.1 --- a/src/Pure/library.scala	Mon Jul 11 17:10:32 2011 +0200
     1.2 +++ b/src/Pure/library.scala	Mon Jul 11 17:11:54 2011 +0200
     1.3 @@ -27,7 +27,7 @@
     1.4        exn match {
     1.5          case e: RuntimeException =>
     1.6            val msg = e.getMessage
     1.7 -          Some(if (msg == null) "" else msg)
     1.8 +          Some(if (msg == null) "Error" else msg)
     1.9          case _ => None
    1.10        }
    1.11    }