src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Mon Jul 23 21:01:16 2012 +0200
+++ b/src/Pure/ROOT.ML	Mon Jul 23 22:35:10 2012 +0200
@@ -103,6 +103,7 @@
 use "context.ML";
 use "context_position.ML";
 use "config.ML";
+use "System/options.ML";
 
 
 (* inner syntax *)