diff options
Diffstat (limited to 'mini-gmp/mini-gmp.c')
| -rw-r--r-- | mini-gmp/mini-gmp.c | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/mini-gmp/mini-gmp.c b/mini-gmp/mini-gmp.c index 5fefd7e43..6d49bad07 100644 --- a/mini-gmp/mini-gmp.c +++ b/mini-gmp/mini-gmp.c @@ -3883,10 +3883,7 @@ mpz_set_str (mpz_t r, const char *sp, int base) if (*sp == '-') { sign = 1; - - do - sp++; - while (isspace( (unsigned char) *sp)); + sp++; } else sign = 0; |