changeset 28151 | 61f9c918b410 |
parent 26885 | cfd5eb167706 |
child 28268 | ac8431ecd57e |
--- a/src/Pure/ML-Systems/smlnj.ML Sun Sep 07 17:46:41 2008 +0200 +++ b/src/Pure/ML-Systems/smlnj.ML Sun Sep 07 17:46:43 2008 +0200 @@ -8,6 +8,7 @@ use "ML-Systems/overloading_smlnj.ML"; use "ML-Systems/exn.ML"; use "ML-Systems/universal.ML"; +use "ML-Systems/thread_dummy.ML"; use "ML-Systems/multithreading.ML"; use "ML-Systems/system_shell.ML";