--- a/src/Pure/NJ.ML Tue Nov 09 13:32:45 1993 +0100
+++ b/src/Pure/NJ.ML Tue Nov 09 14:24:45 1993 +0100
@@ -94,3 +94,5 @@
let val _ = System.system ("rm " ^ name)
in () end;
+(*Get pathname of current working directory *)
+fun pwd () = System.Directory.getWD ();