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