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;