# HG changeset patch
# User wenzelm
# Date 1678368586 -3600
# Node ID e5b09ff7d72f9c3607493e36665ada3cfc81cc06
# Parent  2b4e5861f8829ab6904d50f1c143b2ffd2ef81f4
enforce rebuild of Isabelle/ML;

diff -r 2b4e5861f882 -r e5b09ff7d72f src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Thu Mar 09 12:55:00 2023 +0100
+++ b/src/Pure/ROOT.ML	Thu Mar 09 14:29:46 2023 +0100
@@ -366,4 +366,3 @@
 ML_file "Tools/jedit.ML";
 ML_file "Tools/ghc.ML";
 ML_file "Tools/generated_files.ML";
-