src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Mon Sep 05 21:13:29 2022 +0200
+++ b/src/Pure/ROOT.ML	Mon Sep 05 21:18:40 2022 +0200
@@ -250,8 +250,8 @@
 (*basic proof engine*)
 ML_file "par_tactical.ML";
 ML_file "context_tactic.ML";
+ML_file "Isar/attrib.ML";
 ML_file "Isar/proof_display.ML";
-ML_file "Isar/attrib.ML";
 ML_file "Isar/context_rules.ML";
 ML_file "Isar/method.ML";
 ML_file "Isar/proof.ML";