Re: [GiNaC-devel] Bug fix G_do_hoelder