diff -r 0428c7ad25aa -r 1d4300506338 etc/build.props
--- a/etc/build.props	Thu Jun 06 21:13:51 2024 +0200
+++ b/etc/build.props	Thu Jun 06 21:48:36 2024 +0200
@@ -238,6 +238,7 @@
   src/Pure/Tools/update_then.scala \
   src/Pure/Tools/update_theorems.scala \
   src/Pure/library.scala \
+  src/Pure/name.scala \
   src/Pure/pure_thy.scala \
   src/Pure/term.scala \
   src/Pure/term_xml.scala \