On 2016-07-28 at 18:24:56 +0200, Mosè Giordano wrote: > but when I `edebug' it the problem goes away.
It seems that you encountered a Heisenbug. https://en.wikipedia.org/wiki/Heisenbug If so, edebug is probably not the best choice. Regards, Reinhard -- ------------------------------------------------------------------ Reinhard Kotucha Phone: +49-511-3373112 Marschnerstr. 25 D-30167 Hannover mailto:[email protected] ------------------------------------------------------------------ _______________________________________________ bug-auctex mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-auctex
