| changeset 57638 | ed58e740a699 |
| parent 55802 | f7ceebe2f1b5 |
| child 62702 | e29f47e04180 |
--- a/src/Pure/General/sha1.scala Thu Jul 24 10:22:34 2014 +0200 +++ b/src/Pure/General/sha1.scala Thu Jul 24 10:38:46 2014 +0200 @@ -65,5 +65,7 @@ def digest(bytes: Bytes): Digest = bytes.sha1_digest def digest(string: String): Digest = digest(Bytes(string)) + + def fake(rep: String): Digest = new Digest(rep) }