Re: [GiNaC-list] [PATCH] found a memory leak in /ginac/excompiler.cpp