--- 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)
}