src/Pure/Syntax/ast.ML
changeset 62663 bea354f6ff21
parent 56438 7f6b2634d853
child 62819 d3ff367a16a0
--- a/src/Pure/Syntax/ast.ML	Thu Mar 17 16:56:44 2016 +0100
+++ b/src/Pure/Syntax/ast.ML	Fri Mar 18 16:26:35 2016 +0100
@@ -66,6 +66,8 @@
 fun pretty_rule (lhs, rhs) =
   Pretty.block [pretty_ast lhs, Pretty.str "  ->", Pretty.brk 2, pretty_ast rhs];
 
+val _ = PolyML.addPrettyPrinter (fn _ => fn _ => Pretty.to_polyml o pretty_ast);
+
 
 (* strip_positions *)