diff -r d0038b553e0e -r 6c660f05f70c src/Pure/Tools/build.scala
--- a/src/Pure/Tools/build.scala	Tue Dec 08 16:30:17 2020 +0100
+++ b/src/Pure/Tools/build.scala	Tue Dec 08 17:30:24 2020 +0100
@@ -502,7 +502,7 @@
         val presentation_dir = presentation.dir(store)
         progress.echo("Presentation in " + presentation_dir.absolute)
 
-        using(store.open_database_context(deps.sessions_structure))(db_context =>
+        using(store.open_database_context())(db_context =>
           for ((_, (session_name, _)) <- presentation_chapters) {
             progress.expose_interrupt()
             progress.echo("Presenting " + session_name + " ...")