src/Pure/ML-Systems/smlnj.ML
changeset 24290 5607b8b752bb
parent 24145 c6402b61d44a
child 24329 f31594168d27
     1.1 --- a/src/Pure/ML-Systems/smlnj.ML	Wed Aug 15 19:24:23 2007 +0200
     1.2 +++ b/src/Pure/ML-Systems/smlnj.ML	Wed Aug 15 20:26:57 2007 +0200
     1.3 @@ -88,7 +88,7 @@
     1.4  fun makestring x = "dummy string for SML New Jersey";
     1.5  
     1.6  
     1.7 -(* toplevel pretty printing (see also Pure/install_pp.ML) *)
     1.8 +(* toplevel pretty printing (see also Pure/pure_setup.ML) *)
     1.9  
    1.10  fun make_pp path pprint =
    1.11    let