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 *}