diff options
author | Morgan Deters <mdeters@gmail.com> | 2011-10-05 17:52:06 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2011-10-05 17:52:06 +0000 |
commit | ac622612653b3a5edfa981a9e3ef165f34258313 (patch) | |
tree | 077467cbd261c92febfee745933cc79100c93cba /src/cvc4.i | |
parent | a81eeba7318f4e72f90a64bbd0beb82e27b27148 (diff) |
remove some debugging code that slowed down last night's regressions
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; |