[GiNaC-devel] [PATCH] Use C style cast when converting void* into function pointer.