Файл обратной трассировки содержит:
unknown at 7ff615c33de7 (TXS-Version 4.7.3 R )
[bt] 00007ff61591a8b9 q+3508877
[bt] 00007ff615919acb q+3505311
[bt] 00007ff6158327f7 q+2558411
Он не вылетает, когда я закрываю любой другой файл, кроме denotation.tex, который я использую для добавления терминов словаря.