Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
persistent value;
authorwenzelm
Mon, 18 Nov 2013 22:06:08 +0100
changeset 54512 7a92ed889da4
parent 54511 1fd24c96ce9b
child 54513 5545aff878b1
persistent value;
src/Pure/General/bytes.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/General/bytes.scala	Mon Nov 18 19:56:34 2013 +0100
+++ b/src/Pure/General/bytes.scala	Mon Nov 18 22:06:08 2013 +0100
@@ -89,7 +89,7 @@
 
   /* content */
 
-  def sha1_digest: SHA1.Digest = SHA1.digest(bytes)
+  lazy val sha1_digest: SHA1.Digest = SHA1.digest(bytes)
 
   override def toString: String =
     UTF8.decode_chars(s => s, bytes, offset, offset + length).toString
isabelle