# HG changeset patch
# User haftmann
# Date 1284557701 -7200
# Node ID 24d70f4e690d87d89c1c836272734e8c6f47f5fa
# Parent  887f4218a39a8f899b18f80ef11cb5c375ecc054
more accurate dependencies

diff -r 887f4218a39a -r 24d70f4e690d src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Wed Sep 15 15:31:32 2010 +0200
+++ b/src/HOL/IsaMakefile	Wed Sep 15 15:35:01 2010 +0200
@@ -106,12 +106,12 @@
   $(SRC)/Provers/quantifier1.ML \
   $(SRC)/Provers/splitter.ML \
   $(SRC)/Tools/cache_io.ML \
-  $(SRC)/Tools/Code/code_eval.ML \
   $(SRC)/Tools/Code/code_haskell.ML \
   $(SRC)/Tools/Code/code_ml.ML \
   $(SRC)/Tools/Code/code_namespace.ML \
   $(SRC)/Tools/Code/code_preproc.ML \
   $(SRC)/Tools/Code/code_printer.ML \
+  $(SRC)/Tools/Code/code_runtime.ML \
   $(SRC)/Tools/Code/code_scala.ML \
   $(SRC)/Tools/Code/code_simp.ML \
   $(SRC)/Tools/Code/code_target.ML \