| changeset 23921 | 947152add153 |
| parent 23826 | 463903573934 |
| child 23965 | f93e509659c1 |
--- a/src/Pure/ML-Systems/polyml.ML Mon Jul 23 13:50:31 2007 +0200 +++ b/src/Pure/ML-Systems/polyml.ML Mon Jul 23 14:06:11 2007 +0200 @@ -4,6 +4,9 @@ Compatibility file for Poly/ML (version 4.1.x and 4.2.0). *) +use "ML-Systems/no_multithreading.ML"; + + (** ML system and platform related **) (* String compatibility *)