changeset 21719 | b67fbfc8a126 |
parent 21506 | b2a673894ce5 |
child 21836 | b2cbcf8a018e |
--- a/src/Pure/codegen.ML Sat Dec 09 18:05:37 2006 +0100 +++ b/src/Pure/codegen.ML Sat Dec 09 18:05:38 2006 +0100 @@ -689,7 +689,7 @@ fun new_names t xs = Name.variant_list (map (fst o fst o dest_Var) (term_vars t) union - add_term_names (t, ML_Syntax.reserved)) (map mk_id xs); + add_term_names (t, ML_Syntax.reserved_names)) (map mk_id xs); fun new_name t x = hd (new_names t [x]);