src/Pure/General/ROOT.ML

--- a/src/Pure/General/ROOT.ML	Wed Dec 19 23:06:14 2007 +0100
+++ b/src/Pure/General/ROOT.ML	Wed Dec 19 23:06:14 2007 +0100
@@ -16,6 +16,7 @@
 use "../ML/ml_parse.ML";
 use "secure.ML";
 
+use "random_word.ML";
 use "integer.ML";
 use "stack.ML";
 use "heap.ML";