diff --git a/src/Buffer.cpp b/src/Buffer.cpp index b72e01d0f3..7f3ded982e 100644 --- a/src/Buffer.cpp +++ b/src/Buffer.cpp @@ -2493,6 +2493,9 @@ void Buffer::clearBibFileCache() const void Buffer::reloadBibInfoCache() const { + if (isInternal()) + return; + // use the master's cache Buffer const * const tmp = masterBuffer(); if (tmp != this) {