src/Pure/Admin/check_sources.scala

--- a/src/Pure/Admin/check_sources.scala	Fri Aug 19 16:19:59 2022 +0200
+++ b/src/Pure/Admin/check_sources.scala	Fri Aug 19 16:46:00 2022 +0200
@@ -50,7 +50,7 @@
     val hg = Mercurial.repository(root)
     for {
       file <- hg.known_files()
-      if file.endsWith(".thy") || file.endsWith(".ML") || file.endsWith("/ROOT")
+      if File.is_thy(file) || File.is_ML(file) || file.endsWith("/ROOT")
     } check_file(root + Path.explode(file))
   }