
diff -r 7c2c38a5bca3 -r 1e6206763036 src/Tools/Code_Generator.thy
--- a/src/Tools/Code_Generator.thy	Mon Dec 07 14:54:28 2009 +0100
+++ b/src/Tools/Code_Generator.thy	Mon Dec 07 16:27:48 2009 +0100
@@ -16,6 +16,7 @@
   "~~/src/Tools/Code/code_printer.ML"
   "~~/src/Tools/Code/code_target.ML"
   "~~/src/Tools/Code/code_ml.ML"
+  "~~/src/Tools/Code/code_eval.ML"
   "~~/src/Tools/Code/code_haskell.ML"
   "~~/src/Tools/nbe.ML"
 begin
@@ -23,6 +24,7 @@
 setup {*
   Code_Preproc.setup
   #> Code_ML.setup
+  #> Code_Eval.setup
   #> Code_Haskell.setup
   #> Nbe.setup
 *}




