# HG changeset patch
# User Fabian Huch <huch@in.tum.de>
# Date 1718021295 -7200
# Node ID b835b40f53ecedebd6a03290c479ba55ddc5b330
# Parent  1e5082785075413079b7545bd1f44ca11c6f0b63
remove unused;

diff -r 1e5082785075 -r b835b40f53ec src/Pure/Build/build_manager.scala
--- a/src/Pure/Build/build_manager.scala	Mon Jun 10 14:03:19 2024 +0200
+++ b/src/Pure/Build/build_manager.scala	Mon Jun 10 14:08:15 2024 +0200
@@ -1485,6 +1485,3 @@
         progress = progress)
     })
 }
-
-class Build_Manager_Tools extends Isabelle_Scala_Tools(
-  Build_Manager.isabelle_tool, Build_Manager.isabelle_tool1)