src/Pure/General/ROOT.ML

 use "heap.ML";
 use "scan.ML";
 use "source.ML";
 use "symbol.ML";
 use "name_space.ML";
-use "object.ML";
 use "seq.ML";
 use "susp.ML";
 use "lazy_seq.ML";
 use "lazy_scan.ML";
 use "position.ML";