--- a/src/Pure/ML-Systems/smlnj.ML Sat Feb 06 20:57:07 2010 +0100
+++ b/src/Pure/ML-Systems/smlnj.ML Sat Feb 06 22:01:48 2010 +0100
@@ -10,6 +10,7 @@
use "ML-Systems/unsynchronized.ML";
use "ML-Systems/overloading_smlnj.ML";
use "General/exn.ML";
+use "ML-Systems/single_assignment.ML";
use "ML-Systems/universal.ML";
use "ML-Systems/thread_dummy.ML";
use "ML-Systems/multithreading.ML";
@@ -66,10 +67,6 @@
(Control.primaryPrompt := p1; Control.secondaryPrompt := p2);
(*dummy implementation*)
-fun magic_immutability_test _ = false;
-fun magic_immutability_mark _ = ();
-
-(*dummy implementation*)
fun profile (n: int) f x = f x;
(*dummy implementation*)