Re: [GiNaC-list] bug in diff