diff options
Diffstat (limited to 'src/cvc4.i')
-rw-r--r-- | src/cvc4.i | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/cvc4.i b/src/cvc4.i index 0e2f48dba..8a8157699 100644 --- a/src/cvc4.i +++ b/src/cvc4.i @@ -14,6 +14,12 @@ namespace std { } %{ +// Perl's headers define "seed" to Perl_seed, which breaks +// gmpxx.h; undo the damage for our CVC4 module. +#ifdef SWIGPERL +# undef seed +#endif /* SWIGPERL */ + namespace CVC4 {} using namespace CVC4; |