diff --git a/src/Buffer.cpp b/src/Buffer.cpp index b71c3fcd83..6343405b5c 100644 --- a/src/Buffer.cpp +++ b/src/Buffer.cpp @@ -2483,6 +2483,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) {