summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2018-09-14 11:19:31 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2018-09-14 11:19:31 +0000
commit6e1f5be8f399e811d1bdf5fd28be112717ab88d4 (patch)
tree81c3ba87b20a23dbccbc8817142dffdc1041d1cb
parentfa34bd7b1a3bb95dc6897297b09ea9992f31c674 (diff)
downloadmpfr-6e1f5be8f399e811d1bdf5fd28be112717ab88d4.tar.gz
[configure.ac] Typo.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13191 280ebfd0-de03-0410-8827-d642c229c3f4
-rw-r--r--configure.ac2
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac
index 1af04b5d4..ffea2614d 100644
--- a/configure.ac
+++ b/configure.ac
@@ -368,7 +368,7 @@ AC_ARG_ENABLE(float128,
test_libgmp=__gmpz_init
-dnl Removed this option?
+dnl Remove this option?
dnl This option assumes that mini-gmp has already been built (like if
dnl it were a real GMP) and that the corresponding gmp.h is the one of
dnl mini-gmp. Thus the --enable-mini-gmp is misused, because the fact