--- 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));