changeset 33699 | f33b036ef318 |
parent 33522 | 737589bb9bb8 |
child 33942 | 6a03c894fef8 |
--- a/src/Tools/Code/code_preproc.ML Sun Nov 15 19:44:16 2009 +0100 +++ b/src/Tools/Code/code_preproc.ML Sun Nov 15 19:44:29 2009 +0100 @@ -54,6 +54,7 @@ val pre = Simplifier.merge_ss (pre1, pre2); val post = Simplifier.merge_ss (post1, post2); val functrans = AList.merge (op =) (eq_fst (op =)) (functrans1, functrans2); + (* FIXME handle AList.DUP (!?) *) in make_thmproc ((pre, post), functrans) end; structure Code_Preproc_Data = Theory_Data