# HG changeset patch
# User wenzelm
# Date 1310397114 -7200
# Node ID 390dbda4f3d73c6f453eeab8cfa280ad51bd78f8
# Parent  5ca34f21cb4451794381e8942e04722edf192129
tuned error message;

diff -r 5ca34f21cb44 -r 390dbda4f3d7 src/Pure/library.scala
--- 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
       }
   }