summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2018-09-12 12:19:21 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2018-09-12 12:19:21 +0000
commit7bde2ee057741f40e0448cccb2ca015c9e463941 (patch)
treefa4f94cd587ed0d3f559a92a9782e5a4d94a4315
parent7ff4624f6b41a7fce4746e6e4e9e9e65a7f95839 (diff)
downloadmpfr-7bde2ee057741f40e0448cccb2ca015c9e463941.tar.gz
[src/mpfr-mini-gmp.c] Removed #include "mpfr-mini-gmp.h" as this include
is already done in mpfr-impl.h (in both cases, when MPFR_USE_MINI_GMP is defined). git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13176 280ebfd0-de03-0410-8827-d642c229c3f4
-rw-r--r--src/mpfr-mini-gmp.c2
1 files changed, 0 insertions, 2 deletions
diff --git a/src/mpfr-mini-gmp.c b/src/mpfr-mini-gmp.c
index 16b328422..7ae33d5a4 100644
--- a/src/mpfr-mini-gmp.c
+++ b/src/mpfr-mini-gmp.c
@@ -27,8 +27,6 @@ http://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc.,
#ifdef MPFR_USE_MINI_GMP
-#include "mpfr-mini-gmp.h"
-
/************************ random generation functions ************************/
#ifdef WANT_gmp_randinit_default