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

internal buffers.

diff --git a/src/Buffer.cpp b/src/Buffer.cpp
index b72e01d0f326a552b016f67e805b21b56ddea29b..7f3ded982e736af91b2eb1857f93187bcefdfe98 100644 (file)
--- 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) {