Hi Harald,

here's another fix for a buffer overflow with long symbols.

Is the memory you allocate freed anywhere?  We have a large
number of memory leaks in the front end, but maybe we shouldn't
add another one :-)

Best regards

        Thomas

Reply via email to