src/Pure/General/ROOT.ML

--- a/src/Pure/General/ROOT.ML	Wed Aug 27 11:48:54 2008 +0200
+++ b/src/Pure/General/ROOT.ML	Wed Aug 27 11:49:14 2008 +0200
@@ -8,6 +8,7 @@
 use "alist.ML";
 use "table.ML";
 use "output.ML";
+use "properties.ML";
 use "markup.ML";
 use "scan.ML";
 use "source.ML";