summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2018-12-20 13:29:33 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2018-12-20 13:29:33 +0000
commit8dcd6fcec692f5b4d716557b6f3ed245f1193330 (patch)
tree9bedce71612a1e61099c6ff7e61a1464d3b03704
parent3133b932cdd8a2677184fce8e6e2aa5af7d9c338 (diff)
downloadmpfr-8dcd6fcec692f5b4d716557b6f3ed245f1193330.tar.gz
[doc/mini-gmp] Correction to avoid a "conflicting types for 'mp_limb_t'"
error. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13349 280ebfd0-de03-0410-8827-d642c229c3f4
-rw-r--r--doc/mini-gmp3
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/mini-gmp b/doc/mini-gmp
index 5e9a4ffba..fab504a77 100644
--- a/doc/mini-gmp
+++ b/doc/mini-gmp
@@ -44,7 +44,8 @@ so that it can be used with a reduced limb size.
For that, you have to take a GMP snapshot from December 09, 2018, or later
(see https://gmplib.org/download/snapshot/).
-Then edit the first line of mini-gmp.h to have for example:
+Then replace the "typedef unsigned long mp_limb_t;" line of mini-gmp.h
+to have for example:
#include <stdint.h>
typedef uint8_t mp_limb_t;