On Sun, Apr 07, 2019 at 11:08:33AM +0200, Daniel wrote: > On 07/04/2019 10:17, Pavel Sanda wrote: >> On Sat, Apr 06, 2019 at 09:20:22AM +0200, Daniel wrote: >>> Note that "Non-aggregation and existential risk" is another document I >>> worked on in between and is *not* related to the bug. All other documents >>> are part of the larger document. >> So reiterating last question: >> - is this file set as master to some already opened files which are being >> compiled? >> - do you close this file while the compilation still goes on? > > No to both. The problem is independent of this file.
Ok, do you have idea, what file was closed, just after you opened this file? Pavel
