
diff -r b912278b719f -r 53d1ee3d98b8 src/Tools/Code_Generator.thy
--- 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
 *}




