diff -r b22e44496dc2 -r 8f9594c31de4 src/Pure/ProofGeneral/pgip_parser.ML
--- a/src/Pure/ProofGeneral/pgip_parser.ML	Tue Oct 20 16:13:01 2009 +0200
+++ b/src/Pure/ProofGeneral/pgip_parser.ML	Wed Oct 21 08:14:38 2009 +0200
@@ -77,7 +77,7 @@
   |> command K.prf_asm_goal     goal
   |> command K.prf_script       proofstep;
 
-val _ = gen_subset (op =) (OuterKeyword.kinds, Symtab.keys command_keywords)
+val _ = subset (op =) (OuterKeyword.kinds, Symtab.keys command_keywords)
   orelse sys_error "Incomplete coverage of command keywords";
 
 fun parse_command "sorry" text = [D.Postponegoal {text = text}, D.Closeblock {}]