--- a/src/Pure/Tools/build_process.scala Mon Jun 19 22:28:09 2023 +0200
+++ b/src/Pure/Tools/build_process.scala Tue Jun 20 14:25:06 2023 +0200
@@ -18,7 +18,7 @@
object Context {
def apply(
- store: Sessions.Store,
+ store: Store,
build_deps: Sessions.Deps,
progress: Progress = new Progress,
ml_platform: String = Isabelle_System.getenv("ML_PLATFORM"),
@@ -89,7 +89,7 @@
}
final class Context private(
- val store: Sessions.Store,
+ val store: Store,
val build_deps: Sessions.Deps,
val sessions: State.Sessions,
val ordering: Ordering[String],
@@ -796,7 +796,7 @@
extends AutoCloseable {
/* context */
- protected final val store: Sessions.Store = build_context.store
+ protected final val store: Store = build_context.store
protected final val build_options: Options = store.options
protected final val build_deps: Sessions.Deps = build_context.build_deps
protected final val hostname: String = build_context.hostname