diff options
Diffstat (limited to 'src/util/rational_gmp_imp.h')
| -rw-r--r-- | src/util/rational_gmp_imp.h | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/util/rational_gmp_imp.h b/src/util/rational_gmp_imp.h index e0eba8ad9..e731f3c2f 100644 --- a/src/util/rational_gmp_imp.h +++ b/src/util/rational_gmp_imp.h @@ -20,6 +20,13 @@ #ifndef __CVC4__RATIONAL_H #define __CVC4__RATIONAL_H +/* + * Older versions of GMP in combination with newer versions of GCC and C++11 + * cause errors: https://gcc.gnu.org/gcc-4.9/porting_to.html + * Including <cstddef> is a workaround for this issue. + */ +#include <cstddef> + #include <gmp.h> #include <string> |