1.1 --- a/src/Pure/ProofGeneral/pgip_parser.ML	Fri Mar 16 20:33:33 2012 +0100
     1.2 +++ b/src/Pure/ProofGeneral/pgip_parser.ML	Fri Mar 16 20:45:47 2012 +0100
     1.3 @@ -76,7 +76,7 @@
     1.4    |> command Keyword.prf_asm_goal     goal
     1.5    |> command Keyword.prf_script       proofstep;
     1.6  
     1.7 -val _ = subset (op =) (Keyword.kinds, Symtab.keys command_keywords)
     1.8 +val _ = subset (op =) (map Keyword.kind_of Keyword.kinds, Symtab.keys command_keywords)
     1.9    orelse raise Fail "Incomplete coverage of command keywords";
    1.10  
    1.11  fun parse_command "sorry" text = [D.Postponegoal {text = text}, D.Closeblock {}]