src/Pure/Isar/attrib.ML

--- a/src/Pure/Isar/attrib.ML	Fri Nov 07 16:22:25 2014 +0100
+++ b/src/Pure/Isar/attrib.ML	Fri Nov 07 16:36:55 2014 +0100
@@ -288,8 +288,8 @@
 
 fun read_attribs ctxt source =
   let
+    val keywords = Thy_Header.get_keywords' ctxt;
     val syms = Symbol_Pos.source_explode source;
-    val keywords = Keyword.get_keywords ();
   in
     (case Token.read_no_commands keywords Parse.attribs syms of
       [raw_srcs] => check_attribs ctxt raw_srcs