src/Pure/General/sha1_polyml.ML

--- a/src/Pure/General/sha1_polyml.ML	Thu Jul 24 10:22:34 2014 +0200
+++ b/src/Pure/General/sha1_polyml.ML	Thu Jul 24 10:38:46 2014 +0200
@@ -46,4 +46,6 @@
 val digest = Digest o digest_string;
 fun rep (Digest s) = s;
 
+val fake = Digest;
+
 end;