src/Pure/ML-Systems/smlnj.ML

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

 fun save_state name =
   if SMLofNJ.exportML name then ()
   else OS.FileSys.rename {old = name ^ "." ^ platform, new = name};
 
 end;
-