src/Pure/ROOT.ML
changeset 49560 11430dd89e35
parent 49041 9edfd36a0355
child 49561 26fc70e983c2
--- a/src/Pure/ROOT.ML	Tue Sep 25 12:17:58 2012 +0200
+++ b/src/Pure/ROOT.ML	Tue Sep 25 14:32:41 2012 +0200
@@ -50,7 +50,6 @@
 use "General/same.ML";
 use "General/ord_list.ML";
 use "General/balanced_tree.ML";
-use "General/graph.ML";
 use "General/linear_set.ML";
 use "General/buffer.ML";
 use "General/pretty.ML";
@@ -66,6 +65,8 @@
 use "PIDE/xml.ML";
 use "PIDE/yxml.ML";
 
+use "General/graph.ML";
+
 
 (* concurrency within the ML runtime *)