1.1 --- a/src/Pure/General/ROOT.ML	Mon Oct 09 19:37:02 2006 +0200
     1.2 +++ b/src/Pure/General/ROOT.ML	Mon Oct 09 19:37:03 2006 +0200
     1.3 @@ -9,6 +9,7 @@
     1.4  use "alist.ML";
     1.5  use "table.ML";
     1.6  use "output.ML";
     1.7 +use "secure.ML";
     1.8  use "graph.ML";
     1.9  use "heap.ML";
    1.10  use "scan.ML";