src/Pure/context.ML
changeset 62663 bea354f6ff21
parent 61878 fa4dbb82732f
child 62819 d3ff367a16a0
--- a/src/Pure/context.ML	Thu Mar 17 16:56:44 2016 +0100
+++ b/src/Pure/context.ML	Fri Mar 18 16:26:35 2016 +0100
@@ -169,6 +169,8 @@
 
 val pretty_thy = Pretty.str_list "{" "}" o display_names;
 
+val _ = PolyML.addPrettyPrinter (fn _ => fn _ => Pretty.to_polyml o pretty_thy);
+
 fun pretty_abbrev_thy thy =
   let
     val names = display_names thy;