From 2bb79b67457923d5c61d1132b3b51303af7ebaab Mon Sep 17 00:00:00 2001 From: Paolo Capriotti <p.capriotti@gmail.com> Date: Wed, 27 Jun 2012 18:59:33 +0100 Subject: [PATCH] Add missing imports. --- cbits/gmp-wrappers.cmm | 2 ++ 1 file changed, 2 insertions(+) diff --git a/cbits/gmp-wrappers.cmm b/cbits/gmp-wrappers.cmm index 9ea19c1..6e0118f 100644 --- a/cbits/gmp-wrappers.cmm +++ b/cbits/gmp-wrappers.cmm @@ -39,6 +39,8 @@ import "integer-gmp" __gmpn_gcd_1; import "integer-gmp" __gmpn_cmp; import "integer-gmp" __gmpz_tdiv_q; import "integer-gmp" __gmpz_tdiv_r; +import "integer-gmp" __gmpz_fdiv_q; +import "integer-gmp" __gmpz_fdiv_r; import "integer-gmp" __gmpz_tdiv_qr; import "integer-gmp" __gmpz_fdiv_qr; import "integer-gmp" __gmpz_divexact; -- GitLab