changeset 56970 | a3f911785efa |
parent 56925 | 601edd9a6859 |
child 57430 | 020cea57eaa4 |
--- a/src/Tools/Code_Generator.thy Thu May 15 16:38:29 2014 +0200 +++ b/src/Tools/Code_Generator.thy Thu May 15 16:38:29 2014 +0200 @@ -27,8 +27,7 @@ ML_file "~~/src/Tools/Code/code_scala.ML" setup {* - Code_Preproc.setup - #> Code_Simp.setup + Code_Simp.setup #> Code_Target.setup #> Code_ML.setup #> Code_Haskell.setup