src/Pure/Isar/isar_syn.ML

--- a/src/Pure/Isar/isar_syn.ML	Sat Nov 24 16:58:31 2001 +0100
+++ b/src/Pure/Isar/isar_syn.ML	Sat Nov 24 16:58:57 2001 +0100
@@ -559,7 +559,7 @@
 
 val print_localeP =
   OuterSyntax.improper_command "print_locale" "print named locale of this theory" K.diag
-    (P.xname >> (Toplevel.no_timing oo IsarCmd.print_locale));
+    (P.locale_expr >> (Toplevel.no_timing oo IsarCmd.print_locale));
 
 val print_attributesP =
   OuterSyntax.improper_command "print_attributes" "print attributes of this theory" K.diag