unused;
authorwenzelm
Tue, 25 May 2021 23:58:49 +0200
changeset 73786 18d80cd51823
parent 73785 b5fb99b985b4
child 73787 493b1ae188da
unused;
src/Pure/Tools/build.scala
--- a/src/Pure/Tools/build.scala	Tue May 25 23:37:32 2021 +0200
+++ b/src/Pure/Tools/build.scala	Tue May 25 23:58:49 2021 +0200
@@ -535,7 +535,6 @@
 
     var base_sessions: List[String] = Nil
     var select_dirs: List[Path] = Nil
-    var log: Logger = No_Logger
     var numa_shuffling = false
     var presentation = Presentation.Context.none
     var requirements = false