src/Pure/Thy/document_build.scala

--- a/src/Pure/Thy/document_build.scala	Tue Aug 02 16:02:06 2022 +0200
+++ b/src/Pure/Thy/document_build.scala	Tue Aug 02 19:25:37 2022 +0200
@@ -253,7 +253,7 @@
 
     def old_document(directory: Directory): Option[Document_Output] =
       for {
-        old_doc <- db_context.input_database(session)(read_document(_, session, directory.doc.name))
+        old_doc <- db_context.database(session)(read_document(_, session, directory.doc.name))
         if old_doc.sources == directory.sources
       }
       yield old_doc