src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Tue Jun 02 15:08:42 1998 +0200
+++ b/src/Pure/ROOT.ML	Fri Jun 05 14:21:11 1998 +0200
@@ -16,6 +16,7 @@
 (*basic utils*)
 use "library.ML";
 use "table.ML";
+use "object.ML";
 use "seq.ML";
 use "name_space.ML";
 use "term.ML";