src/Pure/ML-Systems/mosml.ML

--- a/src/Pure/ML-Systems/mosml.ML	Wed Aug 15 19:24:23 2007 +0200
+++ b/src/Pure/ML-Systems/mosml.ML	Wed Aug 15 20:26:57 2007 +0200
@@ -79,7 +79,7 @@
  (Meta.printDepth := n div 2;
   Meta.printLength := n);
 
-(*interface for toplevel pretty printers, see also Pure/install_pp.ML*)
+(*interface for toplevel pretty printers, see also Pure/pure_setup.ML*)
 (*the documentation refers to an installPP but I couldn't fine it!*)
 fun make_pp path pprint = ();
 fun install_pp _ = ();