1.1 --- a/src/Pure/General/ROOT.ML	Wed Aug 27 20:36:23 2008 +0200
     1.2 +++ b/src/Pure/General/ROOT.ML	Wed Aug 27 20:36:25 2008 +0200
     1.3 @@ -30,8 +30,8 @@
     1.4  use "susp.ML";
     1.5  use "path.ML";
     1.6  use "url.ML";
     1.7 +use "buffer.ML";
     1.8  use "file.ML";
     1.9 -use "buffer.ML";
    1.10  use "xml.ML";
    1.11  use "yxml.ML";
    1.12