diff -r 69ba3f21c295 -r 037ee7b712b2 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Tue Jun 15 14:28:08 2010 +0200
+++ b/src/HOL/IsaMakefile	Tue Jun 15 14:28:22 2010 +0200
@@ -112,6 +112,7 @@
   $(SRC)/Tools/Code/code_preproc.ML \
   $(SRC)/Tools/Code/code_printer.ML \
   $(SRC)/Tools/Code/code_scala.ML \
+  $(SRC)/Tools/Code/code_simp.ML \
   $(SRC)/Tools/Code/code_target.ML \
   $(SRC)/Tools/Code/code_thingol.ML \
   $(SRC)/Tools/Code_Generator.thy \