# HG changeset patch
# User wenzelm
# Date 1762290607 -3600
# Node ID f487f79a1cf1957d5d08eafd4966fb0d3cb5c50b
# Parent  989304e45ad785aece8e61233183b02a5d21604f
enforce rebuild of Isabelle/ML;

diff -r 989304e45ad7 -r f487f79a1cf1 src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Tue Nov 04 22:09:26 2025 +0100
+++ b/src/Pure/ROOT.ML	Tue Nov 04 22:10:07 2025 +0100
@@ -1,6 +1,6 @@
 (*  Title:      Pure/ROOT.ML
     Author:     Makarius
-    UUID:       0e3ceb40-61a8-4f78-a6c7-ae4892dd80b3
+    UUID:       3b55bec1-8d43-4c75-bfea-d2c5bfb0ff8c
 
 Main entry point for the Isabelle/Pure bootstrap process.