src/Pure/Thy/bibtex.scala

--- a/src/Pure/Thy/bibtex.scala	Sat Aug 22 20:32:44 2020 +0200
+++ b/src/Pure/Thy/bibtex.scala	Sat Aug 22 20:37:31 2020 +0200
@@ -145,7 +145,7 @@
     })
   }
 
-  object Check extends Scala.Fun("check_bibtex_database")
+  object Check_Database extends Scala.Fun("bibtex_check_database")
   {
     def apply(database: String): String =
     {