Making sure <gmp.h> and libgmp.* do match

[Roberto Bagnara]

Vincent Lefevre wrote:
> FYI, I've done the follwing for years:
> 
>   assert(sizeof(mp_limb_t) * CHAR_BIT == GMP_LIMB_BITS);
>   assert(mp_bits_per_limb == GMP_LIMB_BITS);

Torbjorn, Vincent,

thank you very much indeed.
This is precisely what I was looking for.
Cheers,

    Roberto

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it