src/Pure/Isar/toplevel.ML
changeset 62819 d3ff367a16a0
parent 62663 bea354f6ff21
child 62826 eb94e570c1a4
     1.1 --- a/src/Pure/Isar/toplevel.ML	Sat Apr 02 20:33:34 2016 +0200
     1.2 +++ b/src/Pure/Isar/toplevel.ML	Sat Apr 02 21:10:07 2016 +0200
     1.3 @@ -199,7 +199,7 @@
     1.4  
     1.5  fun pretty_abstract state = Pretty.str ("<Isar " ^ str_of_state state ^ ">");
     1.6  
     1.7 -val _ = PolyML.addPrettyPrinter (fn _ => fn _ => Pretty.to_polyml o pretty_abstract);
     1.8 +val _ = ML_system_pp (fn _ => fn _ => Pretty.to_polyml o pretty_abstract);
     1.9  
    1.10  
    1.11