diff -r e05c9f314f90 -r 438e1a11445f src/Pure/Thy/bibtex.scala
--- a/src/Pure/Thy/bibtex.scala	Wed Nov 07 22:38:38 2018 +0100
+++ b/src/Pure/Thy/bibtex.scala	Wed Nov 07 23:03:45 2018 +0100
@@ -26,8 +26,8 @@
     val file_ext: String = "bib"
 
     override def theory_suffix: String = "bibtex_file"
-    override def theory_content(ext_name: String): String =
-      """theory "bib" imports Pure begin bibtex_file """ + quote(ext_name) + """ end"""
+    override def theory_content(name: String): String =
+      """theory "bib" imports Pure begin bibtex_file """ + quote(name) + """ end"""
 
     override def make_preview(snapshot: Document.Snapshot): Option[Present.Preview] =
     {