more formatting fix

This commit is contained in:
DavePutz 2020-07-13 22:43:46 -05:00 committed by GitHub
parent 30361f6f2a
commit 14799f9ee6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -447,7 +447,7 @@ STATIC size_t mpn_mul(mpz_dig_t *idig, mpz_dig_t *jdig, size_t jlen, mpz_dig_t *
// check to prevent usb starvation
RUN_BACKGROUND_TASKS;
}
return ilen;
}