# HG changeset patch
# User wenzelm
# Date 1678030019 -3600
# Node ID 84aa349ed5976cd33cfea2134ebab903c5bc4a06
# Parent  12ace037d05e9a01fa47c3a65ab1b8b5f274c0ae
removed unused arguments: avoid ambiguity concerning progress/verbose;

diff -r 12ace037d05e -r 84aa349ed597 src/Pure/Thy/document_build.scala
--- a/src/Pure/Thy/document_build.scala	Sun Mar 05 16:14:48 2023 +0100
+++ b/src/Pure/Thy/document_build.scala	Sun Mar 05 16:26:59 2023 +0100
@@ -116,13 +116,10 @@
   def session_background(
     options: Options,
     session: String,
-    dirs: List[Path] = Nil,
-    progress: Progress = new Progress,
-    verbose: Boolean = false
+    dirs: List[Path] = Nil
   ): Sessions.Background = {
       Sessions.load_structure(options + "document", dirs = dirs).
-        selection_deps(Sessions.Selection.session(session), progress = progress, verbose = verbose).
-        background(session)
+        selection_deps(Sessions.Selection.session(session)).background(session)
   }