| changeset 67293 | 2fe338d91d47 |
| parent 67290 | 98b6cd12f963 |
| child 67300 | 0bfbf5b9d6ba |
--- a/src/Pure/Thy/bibtex.scala Thu Dec 28 22:53:45 2017 +0100 +++ b/src/Pure/Thy/bibtex.scala Thu Dec 28 23:10:30 2017 +0100 @@ -134,7 +134,6 @@ /* bibtex files */ def is_bibtex(name: String): Boolean = name.endsWith(".bib") - def is_bibtex_theory(name: Document.Node.Name): Boolean = is_bibtex(name.theory) private val node_suffix: String = "bibtex_file"