src/Pure/Isar/isar_syn.ML
changeset 8650 b7542463e936
parent 8615 419166fa66d0
child 8661 5427f450e9da
--- 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 =