--- a/src/Pure/ROOT.ML Fri Apr 03 20:31:55 2020 +0200
+++ b/src/Pure/ROOT.ML Fri Apr 03 20:49:49 2020 +0200
@@ -104,8 +104,8 @@
ML_file "name.ML";
ML_file "term.ML";
ML_file "context.ML";
+ML_file "config.ML";
ML_file "context_position.ML";
-ML_file "config.ML";
ML_file "soft_type_system.ML";