Moved symbol.ML to front of file list (due to quote function).
authorberghofe
Fri, 16 Apr 2004 18:40:21 +0200
changeset 14594 3ff9cfc5c403
parent 14593 90c88e7ef62d
child 14595 2df717e26035
Moved symbol.ML to front of file list (due to quote function).
src/Pure/General/ROOT.ML
--- a/src/Pure/General/ROOT.ML	Fri Apr 16 18:30:51 2004 +0200
+++ b/src/Pure/General/ROOT.ML	Fri Apr 16 18:40:21 2004 +0200
@@ -5,6 +5,9 @@
 *)
 
 use "table.ML";
+use "scan.ML";
+use "source.ML";
+use "symbol.ML";
 use "graph.ML";
 use "heap.ML";
 use "object.ML";
@@ -14,9 +17,6 @@
 use "lazy_scan.ML";
 use "name_space.ML";
 use "position.ML";
-use "scan.ML";
-use "source.ML";
-use "symbol.ML";
 use "path.ML";
 use "url.ML";
 use "file.ML";