# HG changeset patch
# User wenzelm
# Date 1719955786 -7200
# Node ID 2136ecf06a4cf825166155c924cd2d276ab4f33b
# Parent  0e2b09fef3d207b0453480810aceb7fbdba187a2
enforce rebuild of Isabelle/ML;

diff -r 0e2b09fef3d2 -r 2136ecf06a4c src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Tue Jul 02 23:28:55 2024 +0200
+++ b/src/Pure/ROOT.ML	Tue Jul 02 23:29:46 2024 +0200
@@ -372,4 +372,3 @@
 ML_file "Tools/jedit.ML";
 ML_file "Tools/ghc.ML";
 ML_file "Tools/generated_files.ML";
-