src/Pure/General/sha1.ML

--- a/src/Pure/General/sha1.ML	Sat Apr 02 20:33:34 2016 +0200
+++ b/src/Pure/General/sha1.ML	Sat Apr 02 21:10:07 2016 +0200
@@ -182,7 +182,7 @@
 fun rep (Digest s) = s;
 val fake = Digest;
 
-val _ = PolyML.addPrettyPrinter (fn _ => fn _ => Pretty.to_polyml o Pretty.str o quote o rep);
+val _ = ML_system_pp (fn _ => fn _ => Pretty.to_polyml o Pretty.str o quote o rep);
 
 fun digest_string str = digest_string_external str
   handle CInterface.Foreign msg =>