bug work with macros __GNU_MP_VERSION and __GNU_MP_VERSION_PATCHLEVEL

[Marc Glisse]

(please do not send personal replies, especially when the email contains a 
Reply-To pointing to the list)

On Tue, 16 Apr 2013, alex alex wrote:

> Thank you for your answer.
> I found that for  __GNU_MP_VERSION and __GNU_MP_VERSION_MINOR and __GNU_MP_VERSION_PATCHLEVEL
> must be %d in printf
> but  in documentation 3.8 not said that  __GNU_MP_VERSION is GMP version MAJOR,

Yes it does.

> but some rows later said
> "The GMP version number, as a null-terminated string, in the form “i.j.k”."
> 16.04.2013

That's for the variable gmp_version, not the macros...

-- 
Marc Glisse