diff -r 76bdfde8a579 -r ca17e9ebfdf1 src/Pure/System/scala.scala
--- a/src/Pure/System/scala.scala	Sat Jan 16 19:25:20 2021 +0100
+++ b/src/Pure/System/scala.scala	Sat Jan 16 22:52:43 2021 +0100
@@ -11,7 +11,7 @@
 
 import scala.tools.nsc.{GenericRunnerSettings, ConsoleWriter, NewLinePrintWriter}
 import scala.tools.nsc.interpreter.{IMain, Results}
-
+import scala.tools.nsc.interpreter.shell.ReplReporterImpl
 
 object Scala
 {
@@ -96,7 +96,7 @@
         print_writer: PrintWriter = default_print_writer,
         class_loader: ClassLoader = null): IMain =
       {
-        new IMain(settings, print_writer)
+        new IMain(settings, new ReplReporterImpl(settings, print_writer))
         {
           override def parentClassLoader: ClassLoader =
             if (class_loader == null) super.parentClassLoader