diff -r b5f36fa5a7b4 -r f33b036ef318 src/Tools/Code/code_preproc.ML
--- 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