src/Pure/ML-Systems/smlnj.ML

 
 end;
 
 
 use "ML-Systems/unsynchronized.ML";
-use "ML-Systems/ml_debugger_dummy.ML";
+use "ML-Systems/ml_debugger.ML";
 
 
 (* ML system operations *)
 
 use "ML-Systems/ml_system.ML";