# HG changeset patch
# User wenzelm
# Date 849789092 -3600
# Node ID 672015b535d774098436b64202e1142959c61829
# Parent  ba9c9ed28dd861e3fdff6c072d7b535ba7f3794b
added pwd;

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