--- a/src/Pure/ML-Systems/smlnj.ML Sat Jul 23 16:37:17 2011 +0200 +++ b/src/Pure/ML-Systems/smlnj.ML Sat Jul 23 17:22:28 2011 +0200 @@ -159,3 +159,5 @@ use "ML-Systems/unsynchronized.ML"; +use "ML-Systems/ml_system.ML"; +