# HG changeset patch
# User wenzelm
# Date 1718567604 -7200
# Node ID 46135b44b1a37a940be67360efdf346cdceb4dbc
# Parent  348e10664e0f2cac8d22ba6ccc8b4e14f2e86a40
enforce rebuild of Isabelle/ML;

diff -r 348e10664e0f -r 46135b44b1a3 src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Sun Jun 16 18:50:17 2024 +0200
+++ b/src/Pure/ROOT.ML	Sun Jun 16 21:53:24 2024 +0200
@@ -372,3 +372,4 @@
 ML_file "Tools/jedit.ML";
 ML_file "Tools/ghc.ML";
 ML_file "Tools/generated_files.ML";
+