Angus Leeming wrote: > (Could you check that the applied patch is Ok. Look at > src/support/abort.C.)
I don't know exactly what's happening, but the "ø" in DebugStream.h is different than the one in say, filetools.h (after your patch). Regards, Alfredo
