src/Pure/Thy/bibtex.scala

--- a/src/Pure/Thy/bibtex.scala	Fri Jan 20 13:11:58 2023 +0100
+++ b/src/Pure/Thy/bibtex.scala	Fri Jan 20 13:31:58 2023 +0100
@@ -745,10 +745,10 @@
         case _ => None
       }
 
-    sealed case class Inner(kind: String, citation: String, location: XML.Body, pos: Position.T) {
+    sealed case class Inner(kind: String, citations: String, location: XML.Body, pos: Position.T) {
       def nocite: Inner = copy(kind = NOCITE, location = Nil)
 
-      override def toString: String = citation
+      override def toString: String = citations
     }
 
     sealed case class Outer(kind: String, body: String, start: Isar_Token.Pos) {