src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Wed Dec 31 00:01:07 2008 +0100
+++ b/src/Pure/ROOT.ML	Wed Dec 31 00:01:51 2008 +0100
@@ -26,6 +26,7 @@
 use "name.ML";
 use "term.ML";
 use "term_subst.ML";
+use "old_term.ML";
 use "logic.ML";
 use "General/pretty.ML";
 use "context.ML";