--- a/src/Pure/ROOT.ML Thu Dec 14 21:15:04 2017 +0100
+++ b/src/Pure/ROOT.ML Thu Dec 14 21:31:54 2017 +0100
@@ -5,7 +5,7 @@
section "Bootstrap phase 0: Poly/ML setup";
-ML_file "ML/ml_pervasive.ML";
+ML_file "ML/ml_init.ML";
ML_file "ML/ml_system.ML";
ML_file "System/distribution.ML";