Fix copy-paste error (spotted by coverity)

This commit is contained in:
Juergen Spitzmueller 2020-01-03 13:39:50 +01:00
parent 24ef009aa8
commit 224bc7de6e

View File

@ -380,7 +380,7 @@ docstring getLaTeXMarkup(docstring const & macro, Author const & author,
"Choose an appropriate document encoding (such as utf8)\n" "Choose an appropriate document encoding (such as utf8)\n"
"or change the author initials."), "or change the author initials."),
uncodable_initials, author_initials_latexed.second)); uncodable_initials, author_initials_latexed.second));
warned_author_initials.insert(uncodable_author); warned_author_initials.insert(uncodable_initials);
} }
} }
} }