--- a/src/HOL/ROOT Wed Oct 08 00:13:39 2014 +0200
+++ b/src/HOL/ROOT Wed Oct 08 09:09:12 2014 +0200
@@ -241,7 +241,6 @@
Generate_Target_Nat
Generate_Efficient_Datastructures
Generate_Pretty_Char
- Code_Test
theories [condition = ISABELLE_GHC]
Code_Test_GHC
theories [condition = ISABELLE_MLTON]