# HG changeset patch
# User wenzelm
# Date 1708185665 -3600
# Node ID c2afe3629e22336f6eb753274b778e4d8b7c4229
# Parent  b7187d4cdf68212dfdb7af9a60160deecece57d0
tuned: avoid shadowing of names;

diff -r b7187d4cdf68 -r c2afe3629e22 src/Pure/Build/build_schedule.scala
--- a/src/Pure/Build/build_schedule.scala	Sat Feb 17 16:56:55 2024 +0100
+++ b/src/Pure/Build/build_schedule.scala	Sat Feb 17 17:01:05 2024 +0100
@@ -1286,7 +1286,7 @@
     val log_store = Build_Log.store(options, cache = cache)
     val build_options = store.options
 
-    def build_schedule(
+    def main(
       server: SSH.Server,
       database_server: Option[SQL.Database],
       log_database: PostgreSQL.Database,
@@ -1337,7 +1337,7 @@
         using(log_store.open_database(server = server)) { log_database =>
           using(store.open_build_database(
             path = isabelle.Host.private_data.database, server = server)) { host_database =>
-              build_schedule(server, database_server, log_database, host_database)
+              main(server, database_server, log_database, host_database)
           }
         }
       }