gmp 4.3.0: minor bug with gmp_version

[Heinz van Saanen]

Hello,

after installing new 4.3.0 on my Linux x86_64 system I found:

std::cout << "Version : " << gmp_version << std::endl;
===> 4.2.2

std::cout << "Version : ";
std::cout << __GNU_MP_VERSION << ".";
std::cout << __GNU_MP_VERSION_MINOR << ".";
std::cout << __GNU_MP_VERSION_PATCHLEVEL << std::endl;
===> 4.3.0

same for the C-only version. Just a small bug. But normally I am using
gmp_version, so initially I had doubts, whether installing 4.3.0 fails
or not:-)


Kind regards, Heinz van Saanen