# HG changeset patch
# User wenzelm
# Date 1678017124 -3600
# Node ID 9853251b958e02ec5970c67070fd6e0b22f5b545
# Parent  3d6db917bd1b7d5806aca9bb79d633eba6e5aeae
enforce rebuild of Isabelle/ML, after various changes to build database management;

diff -r 3d6db917bd1b -r 9853251b958e src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Sat Mar 04 23:43:53 2023 +0100
+++ b/src/Pure/ROOT.ML	Sun Mar 05 12:52:04 2023 +0100
@@ -366,3 +366,4 @@
 ML_file "Tools/jedit.ML";
 ML_file "Tools/ghc.ML";
 ML_file "Tools/generated_files.ML";
+