diff -r ba9c9ed28dd8 -r 672015b535d7 src/Pure/library.ML
--- a/src/Pure/library.ML	Wed Dec 04 17:02:19 1996 +0100
+++ b/src/Pure/library.ML	Thu Dec 05 13:31:32 1996 +0100
@@ -685,6 +685,7 @@
 (** input / output **)
 
 val cd = OS.FileSys.chDir;
+val pwd = OS.FileSys.getDir;
 
 val prs_fn = ref(fn s => TextIO.output (TextIO.stdOut, s));