From 224bc7de6ec450d8fc1cf234709ccbed9768ca3a Mon Sep 17 00:00:00 2001 From: Juergen Spitzmueller Date: Fri, 3 Jan 2020 13:39:50 +0100 Subject: [PATCH] Fix copy-paste error (spotted by coverity) --- src/Changes.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Changes.cpp b/src/Changes.cpp index ed9205d530..64fb3c4d2e 100644 --- a/src/Changes.cpp +++ b/src/Changes.cpp @@ -380,7 +380,7 @@ docstring getLaTeXMarkup(docstring const & macro, Author const & author, "Choose an appropriate document encoding (such as utf8)\n" "or change the author initials."), uncodable_initials, author_initials_latexed.second)); - warned_author_initials.insert(uncodable_author); + warned_author_initials.insert(uncodable_initials); } } }