GMP version 5.1.0 (and, presumably, later versions) defines std::numeric_limits.
authorRoberto Bagnara <bagnara@cs.unipr.it>
Wed, 19 Dec 2012 07:42:19 +0000 (08:42 +0100)
committerRoberto Bagnara <bagnara@cs.unipr.it>
Wed, 19 Dec 2012 07:42:19 +0000 (08:42 +0100)
commit9f843aecc23981aec6ed1eaa8be06e6786a47f0d
tree418623ec80c88551d025f7a2b3e6172c447f2c2d
parente1bfeb7c925b09c7210d66f4858af916b8bc8f4e
GMP version 5.1.0 (and, presumably, later versions) defines std::numeric_limits.
src/mp_std_bits.cc
src/mp_std_bits_defs.hh