src/Pure/Thy/sessions.scala

--- a/src/Pure/Thy/sessions.scala	Fri Aug 19 16:19:59 2022 +0200
+++ b/src/Pure/Thy/sessions.scala	Fri Aug 19 16:46:00 2022 +0200
@@ -537,7 +537,7 @@
     lazy val bibtex_entries: List[Text.Info[String]] =
       (for {
         (document_dir, file) <- document_files.iterator
-        if Bibtex.is_bibtex(file.file_name)
+        if File.is_bib(file.file_name)
         info <- Bibtex.entries(File.read(dir + document_dir + file)).iterator
       } yield info).toList