src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Fri Apr 03 14:35:39 1998 +0200
+++ b/src/Pure/ROOT.ML	Fri Apr 03 14:36:05 1998 +0200
@@ -36,6 +36,7 @@
 use "theory.ML";
 use "thm.ML";
 use "display.ML";
+use "attribute.ML";
 use "pure_thy.ML";
 use "deriv.ML";
 use "drule.ML";