src/Pure/ML-Systems/smlnj.ML
changeset 30619 0226c07352db
parent 30187 b92b3375e919
child 30626 248de8dd839e
     1.1 --- a/src/Pure/ML-Systems/smlnj.ML	Sat Mar 21 13:11:12 2009 +0100
     1.2 +++ b/src/Pure/ML-Systems/smlnj.ML	Sat Mar 21 15:08:00 2009 +0100
     1.3 @@ -13,6 +13,7 @@
     1.4  use "ML-Systems/multithreading.ML";
     1.5  use "ML-Systems/system_shell.ML";
     1.6  use "ML-Systems/ml_name_space.ML";
     1.7 +use "ML-Systems/ml_pretty.ML";
     1.8  
     1.9  
    1.10  (*low-level pointer equality*)