src/Pure/ML-Systems/smlnj.ML
changeset 39616 8052101883c3
parent 39585 00be8711082f
child 40393 2bb7ec08574a
--- a/src/Pure/ML-Systems/smlnj.ML	Wed Sep 22 17:46:59 2010 +0200
+++ b/src/Pure/ML-Systems/smlnj.ML	Wed Sep 22 18:21:48 2010 +0200
@@ -7,7 +7,6 @@
 fun reraise exn = raise exn;
 
 use "ML-Systems/proper_int.ML";
-use "ML-Systems/unsynchronized.ML";
 use "ML-Systems/overloading_smlnj.ML";
 use "General/exn.ML";
 use "ML-Systems/single_assignment.ML";
@@ -159,6 +158,9 @@
 end;
 
 
+use "ML-Systems/unsynchronized.ML";
+
+
 
 (** OS related **)