Re: [GiNaC-devel] patch for GiNaC-1.3.2 with gcc-4