There is no reason we should need to reload the bibinfo cache for

internal buffers.

(cherry picked from commit af71ebff8e)
This commit is contained in:
Richard Kimberly Heck 2018-12-12 01:37:00 -05:00
parent 5492fab1c9
commit abc173c4f5

View File

@ -2483,6 +2483,9 @@ void Buffer::clearBibFileCache() const
void Buffer::reloadBibInfoCache() const void Buffer::reloadBibInfoCache() const
{ {
if (isInternal())
return;
// use the master's cache // use the master's cache
Buffer const * const tmp = masterBuffer(); Buffer const * const tmp = masterBuffer();
if (tmp != this) { if (tmp != this) {