Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Build/browser_info.scala
changeset 82755 788d7f3caa41
parent 82152 3312ca0f3915 
--- a/src/Pure/Build/browser_info.scala	Tue Jun 24 22:17:35 2025 +0200
+++ b/src/Pure/Build/browser_info.scala	Tue Jun 24 22:21:49 2025 +0200
@@ -699,7 +699,7 @@
       val sessions1 =
         deps.sessions_structure.build_requirements(sessions).filter { session_name =>
           using(database_context.open_database(session_name)) { session_database =>
-            database_context.store.read_build(session_database.db, session_name) match {
+            store.read_build(session_database.db, session_name) match {
               case None => false
               case Some(build) =>
                 val session_dir = context0.session_dir(session_name)
isabelle