src/Pure/ML-Systems/polyml_common.ML
changeset 28268 ac8431ecd57e
parent 28151 61f9c918b410
child 28416 263599f1346a
--- a/src/Pure/ML-Systems/polyml_common.ML	Wed Sep 17 21:27:22 2008 +0200
+++ b/src/Pure/ML-Systems/polyml_common.ML	Wed Sep 17 21:27:24 2008 +0200
@@ -8,7 +8,7 @@
 use "ML-Systems/multithreading.ML";
 use "ML-Systems/time_limit.ML";
 use "ML-Systems/system_shell.ML";
-
+use "ML-Systems/ml_name_space.ML";
 
 
 (** ML system and platform related **)