# HG changeset patch
# User wenzelm
# Date 1762292289 -3600
# Node ID 4729ac19c03c92dc4b3d926683675569085d9692
# Parent  0675f4daf3c03643ab244357091ca404e67224df
enforce rebuild of Isabelle/ML;

diff -r 0675f4daf3c0 -r 4729ac19c03c src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Tue Nov 04 22:36:39 2025 +0100
+++ b/src/Pure/ROOT.ML	Tue Nov 04 22:38:09 2025 +0100
@@ -1,6 +1,6 @@
 (*  Title:      Pure/ROOT.ML
     Author:     Makarius
-    UUID:       3b55bec1-8d43-4c75-bfea-d2c5bfb0ff8c
+    UUID:       9252313f-d0a3-4e46-9bf6-0ce2a4a7e393
 
 Main entry point for the Isabelle/Pure bootstrap process.