src/Pure/library.scala
changeset 43750 390dbda4f3d7
parent 43670 7f933761764b
child 43763 ab11dcfa3e6d
--- a/src/Pure/library.scala	Mon Jul 11 17:10:32 2011 +0200
+++ b/src/Pure/library.scala	Mon Jul 11 17:11:54 2011 +0200
@@ -27,7 +27,7 @@
       exn match {
         case e: RuntimeException =>
           val msg = e.getMessage
-          Some(if (msg == null) "" else msg)
+          Some(if (msg == null) "Error" else msg)
         case _ => None
       }
   }