src/Pure/ML-Systems/smlnj.ML

 use "ML-Systems/ml_debugger.ML";
 
 
 (* ML system operations *)
 
+fun ml_platform_path (s: string) = s;
+
 use "ML-Systems/ml_system.ML";
 
 structure ML_System =
 struct