
diff -r 7491932da574 -r a3f911785efa src/Tools/Code_Generator.thy
--- 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




