# HG changeset patch
# User wenzelm
# Date 1587572187 -7200
# Node ID a57035ae90290a94d3ce737662ca83cc2b38be7e
# Parent  3fd54f7f52b0dac12c8f1817a31883a07f7b4569
deprecated and obsolete;

diff -r 3fd54f7f52b0 -r a57035ae9029 src/Tools/jEdit/src/scala_console.scala
--- a/src/Tools/jEdit/src/scala_console.scala	Wed Apr 22 17:52:14 2020 +0200
+++ b/src/Tools/jEdit/src/scala_console.scala	Wed Apr 22 18:16:27 2020 +0200
@@ -134,7 +134,6 @@
     {
       override def parentClassLoader = new JARClassLoader
     }
-    interp.setContextClassLoader
 
     val thread: Consumer_Thread[Request] = Consumer_Thread.fork("Scala_Console")
     {