--- a/src/Tools/Code_Generator.thy Wed Sep 15 15:11:40 2010 +0200
+++ b/src/Tools/Code_Generator.thy Wed Sep 15 15:31:32 2010 +0200
@@ -21,7 +21,7 @@
"~~/src/Tools/Code/code_ml.ML"
"~~/src/Tools/Code/code_haskell.ML"
"~~/src/Tools/Code/code_scala.ML"
- "~~/src/Tools/Code/code_eval.ML"
+ "~~/src/Tools/Code/code_runtime.ML"
"~~/src/Tools/nbe.ML"
begin
@@ -32,7 +32,7 @@
#> Code_ML.setup
#> Code_Haskell.setup
#> Code_Scala.setup
- #> Code_Eval.setup
+ #> Code_Runtime.setup
#> Nbe.setup
#> Quickcheck.setup
*}