src/Pure/General/ROOT.ML

--- a/src/Pure/General/ROOT.ML	Fri Jan 15 16:13:31 1999 +0100
+++ b/src/Pure/General/ROOT.ML	Mon Jan 18 21:08:27 1999 +0100
@@ -5,6 +5,7 @@
 *)
 
 use "table.ML";
+use "graph.ML";
 use "object.ML";
 use "seq.ML";
 use "name_space.ML";