diff --git a/src/BufferList.cpp b/src/BufferList.cpp index a61b0bfd80..2bbb8b93a4 100644 --- a/src/BufferList.cpp +++ b/src/BufferList.cpp @@ -241,7 +241,6 @@ void BufferList::updateIncludedTeXfiles(string const & masterTmpDir, (*it)->markDepClean(masterTmpDir); } } - runparams.is_child = false; }