--- 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
})