src/Pure/Isar/isar_syn.ML

--- a/src/Pure/Isar/isar_syn.ML	Sat Mar 08 13:49:01 2014 +0100
+++ b/src/Pure/Isar/isar_syn.ML	Sat Mar 08 21:08:10 2014 +0100
@@ -799,7 +799,7 @@
   Outer_Syntax.improper_command @{command_spec "print_attributes"}
     "print attributes of this theory"
     (Scan.succeed (Toplevel.unknown_theory o
-      Toplevel.keep (Attrib.print_attributes o Toplevel.theory_of)));
+      Toplevel.keep (Attrib.print_attributes o Toplevel.context_of)));
 
 val _ =
   Outer_Syntax.improper_command @{command_spec "print_simpset"}