diff -r be33ca6f45d7 -r 197a5b3a1ea2 etc/build.props
--- a/etc/build.props	Sat Jun 11 20:45:14 2022 +0200
+++ b/etc/build.props	Sat Jun 11 22:55:21 2022 +0200
@@ -38,7 +38,6 @@
   src/Pure/Admin/isabelle_devel.scala \
   src/Pure/Admin/jenkins.scala \
   src/Pure/Admin/other_isabelle.scala \
-  src/Pure/Admin/sync.scala \
   src/Pure/Concurrent/consumer_thread.scala \
   src/Pure/Concurrent/counter.scala \
   src/Pure/Concurrent/delay.scala \
@@ -189,6 +188,7 @@
   src/Pure/Tools/server_commands.scala \
   src/Pure/Tools/simplifier_trace.scala \
   src/Pure/Tools/spell_checker.scala \
+  src/Pure/Tools/sync.scala \
   src/Pure/Tools/task_statistics.scala \
   src/Pure/Tools/update.scala \
   src/Pure/Tools/update_cartouches.scala \