src/Pure/pure_setup.ML

--- a/src/Pure/pure_setup.ML	Thu Jun 24 22:58:45 2010 +0200
+++ b/src/Pure/pure_setup.ML	Thu Jun 24 23:20:47 2010 +0200
@@ -18,6 +18,7 @@
 
 (* ML toplevel pretty printing *)
 
+toplevel_pp ["String", "string"] "ML_Syntax.pretty_string";
 toplevel_pp ["Pretty", "T"] "(fn _: Pretty.T => Pretty.str \"<pretty>\")";
 toplevel_pp ["Task_Queue", "task"] "Pretty.str o Task_Queue.str_of_task";
 toplevel_pp ["Task_Queue", "group"] "Pretty.str o Task_Queue.str_of_group";