src/Pure/library.scala

--- a/src/Pure/library.scala	Wed Jul 30 09:40:28 2014 +0200
+++ b/src/Pure/library.scala	Thu Jul 31 20:09:30 2014 +0200
@@ -25,6 +25,7 @@
 
   def cat_message(msg1: String, msg2: String): String =
     if (msg1 == "") msg2
+    else if (msg2 == "") msg1
     else msg1 + "\n" + msg2
 
   def cat_error(msg1: String, msg2: String): Nothing =