diff -r 6ed34e2e04dd -r 216c2ac23a84 src/Pure/Thy/document_build.scala
--- a/src/Pure/Thy/document_build.scala	Wed Mar 23 11:40:34 2022 +0100
+++ b/src/Pure/Thy/document_build.scala	Wed Mar 23 12:02:56 2022 +0100
@@ -81,7 +81,7 @@
       {
         val name = res.string(Data.name)
         val sources = res.string(Data.sources)
-        Document_Input(name, SHA1.fake(sources))
+        Document_Input(name, SHA1.fake_digest(sources))
       }).toList)
   }
 
@@ -96,7 +96,7 @@
         val sources = res.string(Data.sources)
         val log_xz = res.bytes(Data.log_xz)
         val pdf = res.bytes(Data.pdf)
-        Some(Document_Output(name, SHA1.fake(sources), log_xz, pdf))
+        Some(Document_Output(name, SHA1.fake_digest(sources), log_xz, pdf))
       }
       else None
     })