src/Pure/System/scala.scala

--- a/src/Pure/System/scala.scala	Sat May 23 11:33:45 2020 +0200
+++ b/src/Pure/System/scala.scala	Sat May 23 12:04:24 2020 +0200
@@ -17,10 +17,12 @@
 
 object Scala
 {
-  /* compiler */
+  /** compiler **/
 
   object Compiler
   {
+    lazy val default_context: Context = context()
+
     def context(
       error: String => Unit = Exn.error,
       jar_dirs: List[JFile] = Nil): Context =