# HG changeset patch
# User wenzelm
# Date 1678045305 -3600
# Node ID 26ec258e5cf8fcb16d2dbd712beaee43817a406a
# Parent  790085b1002f18b55a231e49793fed5a26041db6
enforce rebuild of Isabelle/ML, after various changes to build database management;

diff -r 790085b1002f -r 26ec258e5cf8 src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Sun Mar 05 20:41:14 2023 +0100
+++ b/src/Pure/ROOT.ML	Sun Mar 05 20:41:45 2023 +0100
@@ -366,4 +366,3 @@
 ML_file "Tools/jedit.ML";
 ML_file "Tools/ghc.ML";
 ML_file "Tools/generated_files.ML";
-