--- a/src/Tools/Code_Generator.thy Wed Sep 01 09:03:34 2010 +0200
+++ b/src/Tools/Code_Generator.thy Wed Sep 01 12:01:19 2010 +0200
@@ -17,10 +17,11 @@
"~~/src/Tools/Code/code_simp.ML"
"~~/src/Tools/Code/code_printer.ML"
"~~/src/Tools/Code/code_target.ML"
+ "~~/src/Tools/Code/code_namespace.ML"
"~~/src/Tools/Code/code_ml.ML"
- "~~/src/Tools/Code/code_eval.ML"
"~~/src/Tools/Code/code_haskell.ML"
"~~/src/Tools/Code/code_scala.ML"
+ "~~/src/Tools/Code/code_eval.ML"
"~~/src/Tools/nbe.ML"
begin
@@ -28,9 +29,9 @@
Code_Preproc.setup
#> Code_Simp.setup
#> Code_ML.setup
- #> Code_Eval.setup
#> Code_Haskell.setup
#> Code_Scala.setup
+ #> Code_Eval.setup
#> Nbe.setup
#> Quickcheck.setup
*}