src/Pure/Tools/ROOT.ML

--- a/src/Pure/Tools/ROOT.ML	Tue Sep 19 15:22:24 2006 +0200
+++ b/src/Pure/Tools/ROOT.ML	Tue Sep 19 15:22:26 2006 +0200
@@ -14,7 +14,8 @@
 (*code generator, 2nd generation*)
 use "codegen_consts.ML";
 use "codegen_names.ML";
-use "codegen_theorems.ML";
+use "codegen_data.ML";
+use "codegen_funcgr.ML";
 use "codegen_thingol.ML";
 use "codegen_serializer.ML";
 use "codegen_simtype.ML";