changeset 62819 | d3ff367a16a0 |
parent 62663 | bea354f6ff21 |
child 62823 | 751bcf0473a7 |
--- a/src/Pure/Concurrent/lazy.ML Sat Apr 02 20:33:34 2016 +0200 +++ b/src/Pure/Concurrent/lazy.ML Sat Apr 02 21:10:07 2016 +0200 @@ -103,7 +103,7 @@ (* toplevel pretty printing *) val _ = - PolyML.addPrettyPrinter (fn depth => fn pretty => fn x => + ML_system_pp (fn depth => fn pretty => fn x => (case peek x of NONE => PolyML.PrettyString "<lazy>" | SOME (Exn.Exn _) => PolyML.PrettyString "<failed>"