--- a/src/Tools/Code_Generator.thy Tue May 12 17:09:36 2009 +0200
+++ b/src/Tools/Code_Generator.thy Tue May 12 19:30:33 2009 +0200
@@ -9,7 +9,7 @@
uses
"~~/src/Tools/value.ML"
"~~/src/Tools/quickcheck.ML"
- "~~/src/Tools/code/code_wellsorted.ML"
+ "~~/src/Tools/code/code_preproc.ML"
"~~/src/Tools/code/code_thingol.ML"
"~~/src/Tools/code/code_printer.ML"
"~~/src/Tools/code/code_target.ML"
@@ -19,7 +19,8 @@
begin
setup {*
- Code_ML.setup
+ Code_Preproc.setup
+ #> Code_ML.setup
#> Code_Haskell.setup
#> Nbe.setup
*}