
diff -r 58bc773c60e2 -r 80218ee73167 src/Tools/Code_Generator.thy
--- 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
 *}




