src/Pure/ROOT.ML
changeset 24455 cd8e14100c00
parent 24272 2f85bae2e2c2
child 24574 e840872e9c7c
--- a/src/Pure/ROOT.ML	Tue Aug 28 18:06:24 2007 +0200
+++ b/src/Pure/ROOT.ML	Tue Aug 28 18:07:25 2007 +0200
@@ -88,6 +88,8 @@
 
 cd "Tools"; use "ROOT.ML"; cd "..";
 
+use "codegen.ML";
+
 (*configuration for Proof General*)
 cd "ProofGeneral"; use "ROOT.ML"; cd "..";