src/Pure/ProofGeneral/pgip_parser.ML
changeset 33037 b22e44496dc2
parent 32466 a393b7e2a2f8
child 33038 8f9594c31de4
     1.1 --- a/src/Pure/ProofGeneral/pgip_parser.ML	Tue Oct 20 13:37:56 2009 +0200
     1.2 +++ b/src/Pure/ProofGeneral/pgip_parser.ML	Tue Oct 20 16:13:01 2009 +0200
     1.3 @@ -77,7 +77,7 @@
     1.4    |> command K.prf_asm_goal     goal
     1.5    |> command K.prf_script       proofstep;
     1.6  
     1.7 -val _ = OuterKeyword.kinds subset_string Symtab.keys command_keywords
     1.8 +val _ = gen_subset (op =) (OuterKeyword.kinds, Symtab.keys command_keywords)
     1.9    orelse sys_error "Incomplete coverage of command keywords";
    1.10  
    1.11  fun parse_command "sorry" text = [D.Postponegoal {text = text}, D.Closeblock {}]