Subject: bug#24079: 11.89.4; Auctex noweb issue.

From: Reinhard Kotucha <[email-masked]>
Date: Thu, 28 Jul 2016 23:52:03 +0200

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-masked]
------------------------------------------------------------------