Re: [GiNaC-devel] rotate_left() in ex.h => compilation failure