src/Pure/General/exn.scala

         case other: User_Error => message == other.getMessage
         case _ => false
       }
     override def hashCode: Int = message.hashCode
 
-    override def toString: String = "\n" + Output.error_text(message)
+    override def toString: String = "\n" + Output.error_message_text(message)
   }
 
   object ERROR
   {
     def apply(message: String): User_Error = new User_Error(message)