# HG changeset patch
# User wenzelm
# Date 1719931333 -7200
# Node ID c766be851bc25e600a82c4b0c8302782f265fe7e
# Parent  66ebeae3acdc775dd6abe46256dbbad3049e3a6e
enforce rebuild of Isabelle/ML;

diff -r 66ebeae3acdc -r c766be851bc2 src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Tue Jul 02 16:36:49 2024 +0200
+++ b/src/Pure/ROOT.ML	Tue Jul 02 16:42:13 2024 +0200
@@ -372,3 +372,4 @@
 ML_file "Tools/jedit.ML";
 ML_file "Tools/ghc.ML";
 ML_file "Tools/generated_files.ML";
+