src/Pure/library.ML

--- a/src/Pure/library.ML	Mon Feb 29 15:23:13 2016 +0100
+++ b/src/Pure/library.ML	Mon Feb 29 15:39:17 2016 +0100
@@ -1031,8 +1031,8 @@
 
 (* current directory *)
 
-val cd = OS.FileSys.chDir o ml_platform_path;
-val pwd = ml_standard_path o OS.FileSys.getDir;
+val cd = OS.FileSys.chDir o ML_System.platform_path;
+val pwd = ML_System.standard_path o OS.FileSys.getDir;
 
 
 (* getenv *)