src/HOL/IsaMakefile

--- a/src/HOL/IsaMakefile	Mon Sep 20 14:50:45 2010 +0200
+++ b/src/HOL/IsaMakefile	Mon Sep 20 15:10:21 2010 +0200
@@ -271,6 +271,7 @@
   Tools/ATP/atp_proof.ML \
   Tools/ATP/atp_systems.ML \
   Tools/choice_specification.ML \
+  Tools/code_evaluation.ML \
   Tools/Datatype/datatype_selectors.ML \
   Tools/int_arith.ML \
   Tools/groebner.ML \