# HG changeset patch
# User wenzelm
# Date 939328612 -7200
# Node ID 2fd4d53acc0ac369692a64aa37d1d285a08cb93d
# Parent  57d20133224e0db60a877e6092cb5bc0fd93f0d3
cd: quiet;

diff -r 57d20133224e -r 2fd4d53acc0a src/Pure/Isar/isar_cmd.ML
--- a/src/Pure/Isar/isar_cmd.ML	Thu Oct 07 17:20:58 1999 +0200
+++ b/src/Pure/Isar/isar_cmd.ML	Thu Oct 07 22:36:52 1999 +0200
@@ -109,10 +109,8 @@
 
 (* current working directory *)
 
-fun print_cd _ = writeln (Path.pack (File.pwd ()));
-
-fun cd dir = Toplevel.imperative (fn () => (File.cd (Path.unpack dir); print_cd ()));
-val pwd = Toplevel.imperative print_cd;
+fun cd dir = Toplevel.imperative (fn () => (File.cd (Path.unpack dir)));
+val pwd = Toplevel.imperative (fn () => writeln (Path.pack (File.pwd ())));
 
 
 (* load theory files *)