--- a/src/Pure/Tools/profiling_report.scala Tue Aug 02 15:53:48 2022 +0200
+++ b/src/Pure/Tools/profiling_report.scala Tue Aug 02 16:02:06 2022 +0200
@@ -19,7 +19,7 @@
using(store.open_database_context()) { db_context =>
val result =
- db_context.input_database(session)((db, name) => Some(store.read_theories(db, name)))
+ db_context.input_database(session)(db => Some(store.read_theories(db, session)))
result match {
case None => error("Missing build database for session " + quote(session))
case Some(used_theories) =>