summaryrefslogtreecommitdiff
path: root/mpz/inits.c
diff options
context:
space:
mode:
authorMarco Bodrato <bodrato@mail.dm.unipi.it>2015-11-01 07:04:24 +0100
committerMarco Bodrato <bodrato@mail.dm.unipi.it>2015-11-01 07:04:24 +0100
commit66b642a7d02f794434682cdeac7d340c680ba568 (patch)
tree0f76d95d30b08053bf426731d16dc0f9dd51c24c /mpz/inits.c
parentfa8a7732740d1e7aba0d57cb27cf43d46e18a818 (diff)
downloadgmp-66b642a7d02f794434682cdeac7d340c680ba568.tar.gz
Init limb, not pointer
Diffstat (limited to 'mpz/inits.c')
-rw-r--r--mpz/inits.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/mpz/inits.c b/mpz/inits.c
index a428aaadb..68457e0fb 100644
--- a/mpz/inits.c
+++ b/mpz/inits.c
@@ -47,7 +47,7 @@ mpz_inits (mpz_ptr x, ...)
#ifdef __CHECKER__
/* let the low limb look initialized, for the benefit of mpz_get_ui etc */
- PTR (x) = 0;
+ PTR (x)[0] = 0;
#endif
x = va_arg (ap, mpz_ptr);