src/Pure/General/ROOT.ML

--- a/src/Pure/General/ROOT.ML	Mon Oct 09 19:37:02 2006 +0200
+++ b/src/Pure/General/ROOT.ML	Mon Oct 09 19:37:03 2006 +0200
@@ -9,6 +9,7 @@
 use "alist.ML";
 use "table.ML";
 use "output.ML";
+use "secure.ML";
 use "graph.ML";
 use "heap.ML";
 use "scan.ML";