1 files changed, 3 insertions, 0 deletions
diff --git a/mpz/mul.c b/mpz/mul.c
index b9fbbcd30..5429997ab 100644
--- a/mpz/mul.c
+++ b/mpz/mul.c
@@ -22,6 +22,9 @@ MA 02111-1307, USA. */
 #include <stdio.h> /* for NULL */
 #include "gmp.h"
 #include "gmp-impl.h"
+#ifdef BERKELEY_MP
+#include "mp.h"
+#endif
 
 #ifndef BERKELEY_MP
 void