src/Pure/ROOT.ML

 use "Tools/xml_syntax.ML";
 
 use "Tools/find_theorems.ML";
 use "Tools/find_consts.ML";
 
-use "codegen.ML";
-
 
 (* configuration for Proof General *)
 
 use "ProofGeneral/pgip_types.ML";
 use "ProofGeneral/pgml.ML";