Re: patch for wn_lower.cxx: bad deallocation of map ids

[Chandrasekhar Murthy <murthy@xxxxxxx>]

Hi David,

Could you send us the source program along with the commandline
options used to reproduce the problem you encountered.

Although your fix of commenting out the call to WN_Delete will
solve the problem, it will increase the working set as memory
will not be freed.

Thanks,
Murthy