src/Pure/ROOT.ML

 use "PIDE/xml.ML";
 use "PIDE/yxml.ML";
 
 use "General/graph.ML";
 
+use "System/options.ML";
+
 
 (* concurrency within the ML runtime *)
 
 if ML_System.is_polyml
 then use "ML/exn_properties_polyml.ML"

 use "name.ML";
 use "term.ML";
 use "context.ML";
 use "context_position.ML";
 use "config.ML";
-use "System/options.ML";
 
 
 (* inner syntax *)
 
 use "Syntax/term_position.ML";