src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Tue Jul 11 12:16:59 2006 +0200
+++ b/src/Pure/ROOT.ML	Tue Jul 11 12:17:00 2006 +0200
@@ -20,6 +20,7 @@
 cd "General"; use "ROOT.ML"; cd "..";
 
 (*fundamental structures*)
+use "name.ML";
 use "term.ML";
 use "General/pretty.ML";
 use "sorts.ML";