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;