changeset 24219 | e558fe311376 |
parent 22796 | 34c316d7b630 |
child 24624 | b8383b1bbae3 |
--- a/src/Pure/Isar/constdefs.ML Fri Aug 10 17:04:24 2007 +0200 +++ b/src/Pure/Isar/constdefs.ML Fri Aug 10 17:04:34 2007 +0200 @@ -51,7 +51,7 @@ thy |> Sign.add_consts_i [(c, T, mx)] |> PureThy.add_defs_i false [((name, def), atts)] - |-> (fn [thm] => CodegenData.add_func false thm); + |-> (fn [thm] => Code.add_func false thm); in ((c, T), thy') end; fun gen_constdefs prep_vars prep_prop prep_att (raw_structs, specs) thy =