bug#24079: 11.89.4; Auctex noweb issue.

[Reinhard Kotucha]

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:address@hidden
------------------------------------------------------------------