# HG changeset patch
# User wenzelm
# Date 1675178007 -3600
# Node ID 9b3a8565464d479c7c43b3d57b362b863ed98ff3
# Parent  38077c938d01e2c0eaf69fbec222ccead882b42a
more accurate Word.capitalize: do not touch name;

diff -r 38077c938d01 -r 9b3a8565464d src/Pure/Thy/bibtex.scala
--- a/src/Pure/Thy/bibtex.scala	Tue Jan 31 14:59:19 2023 +0100
+++ b/src/Pure/Thy/bibtex.scala	Tue Jan 31 16:13:27 2023 +0100
@@ -132,7 +132,7 @@
               case (Error(msg, Value.Int(l)), _) =>
                 Some((true, (msg, get_line_pos(l))))
               case (Warning_in_Chunk(msg, name), _) if chunk_pos.isDefinedAt(name) =>
-                Some((false, (Word.capitalize(msg + " in entry " + quote(name)), chunk_pos(name))))
+                Some((false, (Word.capitalize(msg) + " in entry " + quote(name), chunk_pos(name))))
               case (Warning(msg), Warning_Line(Value.Int(l))) =>
                 Some((false, (Word.capitalize(msg), get_line_pos(l))))
               case (Warning(msg), _) =>