--- a/src/Pure/Tools/ROOT.ML Fri Jan 05 14:31:51 2007 +0100
+++ b/src/Pure/Tools/ROOT.ML Fri Jan 05 14:32:07 2007 +0100
@@ -14,6 +14,7 @@
(*code generator, 2nd generation*)
use "codegen_consts.ML";
+use "codegen_func.ML";
use "codegen_data.ML";
use "codegen_names.ML";
use "codegen_funcgr.ML";