src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Tue Aug 13 10:27:21 2019 +0200
+++ b/src/Pure/ROOT.ML	Tue Aug 13 15:34:46 2019 +0200
@@ -243,8 +243,8 @@
 section "Bootstrap phase 3: towards theory Pure and final ML toplevel setup";
 
 (*basic proof engine*)
+ML_file "par_tactical.ML";
 ML_file "context_tactic.ML";
-ML_file "par_tactical.ML";
 ML_file "Isar/proof_display.ML";
 ML_file "Isar/attrib.ML";
 ML_file "Isar/context_rules.ML";