src/Pure/General/sha1_polyml.ML
changeset 57638 ed58e740a699
parent 53211 753b9fbe18be
child 59058 a78612c67ec0
     1.1 --- a/src/Pure/General/sha1_polyml.ML	Thu Jul 24 10:22:34 2014 +0200
     1.2 +++ b/src/Pure/General/sha1_polyml.ML	Thu Jul 24 10:38:46 2014 +0200
     1.3 @@ -46,4 +46,6 @@
     1.4  val digest = Digest o digest_string;
     1.5  fun rep (Digest s) = s;
     1.6  
     1.7 +val fake = Digest;
     1.8 +
     1.9  end;