# HG changeset patch
# User wenzelm
# Date 1590226425 -7200
# Node ID 2b7840fb2f90116bb250e78c28d0ee182e2343a2
# Parent  06ec50d9fc0ad6f170774f903537e1d2e1dd6472
tuned message;

diff -r 06ec50d9fc0a -r 2b7840fb2f90 src/Pure/System/scala.scala
--- a/src/Pure/System/scala.scala	Sat May 23 11:27:35 2020 +0200
+++ b/src/Pure/System/scala.scala	Sat May 23 11:33:45 2020 +0200
@@ -48,6 +48,8 @@
 
     class Context private [Compiler](val settings: GenericRunnerSettings)
     {
+      override def toString: String = settings.toString
+
       def interpreter(
         print_writer: PrintWriter = default_print_writer,
         class_loader: ClassLoader = null): IMain =