projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 75728d6) | patch
Fix build for old GMP version (#1114)
authorAndres Noetzli <andres.noetzli@gmail.com>
Tue, 26 Sep 2017 07:46:14 +0000 (00:46 -0700)
committerGitHub <noreply@github.com>
Tue, 26 Sep 2017 07:46:14 +0000 (00:46 -0700)
commit5ed3fd8cb146daba2fe69d8ad89ac9ad32b6630b
tree4b1a551f95e2897a27579bff6ec23cd49891846atree
parent75728d632b9ce5d8c75bbf208ef788bf7ce78f9ecommit | diff
Fix build for old GMP version (#1114)

Older versions of GMP in combination with newer versions of GCC and
C++11 cause errors [0]. This commit adds the necessary includes of
<cstddef>.

[0] https://gcc.gnu.org/gcc-4.9/porting_to.html
src/util/gmp_util.h diff | blob | history
src/util/rational_gmp_imp.h diff | blob | history