changeset 59468 | fe6651760643 |
parent 59127 | 723b11f8ffbf |
child 60729 | f5989a2c1f67 |
--- a/src/Pure/ML-Systems/smlnj.ML Thu Jan 29 13:58:02 2015 +0100 +++ b/src/Pure/ML-Systems/smlnj.ML Thu Jan 29 15:21:16 2015 +0100 @@ -18,6 +18,7 @@ use "ML-Systems/universal.ML"; use "ML-Systems/thread_dummy.ML"; use "ML-Systems/multithreading.ML"; +use "ML-Systems/maximum_ml_stack_dummy.ML"; use "ML-Systems/ml_name_space.ML"; use "ML-Systems/ml_pretty.ML"; structure PolyML = struct end;