diff -r b7b9bc7abfb9 -r 3deead057a16 src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Mon Oct 06 20:56:16 2025 +0200
+++ b/src/Pure/ROOT.ML	Tue Oct 07 11:51:15 2025 +0200
@@ -1,6 +1,6 @@
 (*  Title:      Pure/ROOT.ML
     Author:     Makarius
-    UUID:       522d1260-49c4-4627-a3c2-e283f7810a94
+    UUID:       0b801365-9dc6-460b-b12b-fd4c28e63cf1
 
 Main entry point for the Isabelle/Pure bootstrap process.