# HG changeset patch
# User wenzelm
# Date 954612735 -7200
# Node ID b7542463e93671109f4585eaa94833e6c4428bc9
# Parent  dc496bb0638f7c1dff4cbcb0463853c54f4eb417
'cd': diag;

diff -r dc496bb0638f -r b7542463e936 src/Pure/Isar/isar_syn.ML
--- a/src/Pure/Isar/isar_syn.ML	Sat Apr 01 20:11:50 2000 +0200
+++ b/src/Pure/Isar/isar_syn.ML	Sat Apr 01 20:12:15 2000 +0200
@@ -540,7 +540,7 @@
 (** system commands (for interactive mode only) **)
 
 val cdP =
-  OuterSyntax.improper_command "cd" "change current working directory" K.control
+  OuterSyntax.improper_command "cd" "change current working directory" K.diag
     (P.name >> IsarCmd.cd);
 
 val pwdP =