1.1 --- a/src/Tools/Code_Generator.thy	Tue May 12 17:09:36 2009 +0200
     1.2 +++ b/src/Tools/Code_Generator.thy	Tue May 12 19:30:33 2009 +0200
     1.3 @@ -9,7 +9,7 @@
     1.4  uses
     1.5    "~~/src/Tools/value.ML"
     1.6    "~~/src/Tools/quickcheck.ML"
     1.7 -  "~~/src/Tools/code/code_wellsorted.ML" 
     1.8 +  "~~/src/Tools/code/code_preproc.ML" 
     1.9    "~~/src/Tools/code/code_thingol.ML"
    1.10    "~~/src/Tools/code/code_printer.ML"
    1.11    "~~/src/Tools/code/code_target.ML"
    1.12 @@ -19,7 +19,8 @@
    1.13  begin
    1.14  
    1.15  setup {*
    1.16 -  Code_ML.setup
    1.17 +  Code_Preproc.setup
    1.18 +  #> Code_ML.setup
    1.19    #> Code_Haskell.setup
    1.20    #> Nbe.setup
    1.21  *}