src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Fri Apr 03 13:51:56 2020 +0200
+++ b/src/Pure/ROOT.ML	Fri Apr 03 17:35:10 2020 +0200
@@ -96,6 +96,8 @@
 ML_file "General/change_table.ML";
 ML_file "General/graph.ML";
 
+ML_file "System/options.ML";
+
 
 subsection "Fundamental structures";
 
@@ -103,7 +105,6 @@
 ML_file "term.ML";
 ML_file "context.ML";
 ML_file "context_position.ML";
-ML_file "System/options.ML";
 ML_file "config.ML";
 ML_file "soft_type_system.ML";