src/Pure/ML-Systems/polyml_common.ML
changeset 32776 1504f9c2d060
parent 32741 bf8881f6e343
child 33004 715566791eb0
--- a/src/Pure/ML-Systems/polyml_common.ML	Wed Sep 30 09:25:18 2009 +0200
+++ b/src/Pure/ML-Systems/polyml_common.ML	Wed Sep 30 11:36:12 2009 +0200
@@ -6,7 +6,6 @@
 exception Interrupt = SML90.Interrupt;
 
 use "ML-Systems/exn.ML";
-use "ML-Systems/unsynchronized.ML";
 use "ML-Systems/multithreading.ML";
 use "ML-Systems/time_limit.ML";
 use "ML-Systems/timing.ML";