--- a/src/Pure/General/sha1.ML Thu Mar 17 16:56:44 2016 +0100
+++ b/src/Pure/General/sha1.ML Fri Mar 18 16:26:35 2016 +0100
@@ -139,4 +139,6 @@
val fake = Digest;
+val _ = PolyML.addPrettyPrinter (fn _ => fn _ => Pretty.to_polyml o Pretty.str o quote o rep);
+
end;