From f7afeb4c342db3feb59f22d5ab0c2b1dfe2c491f Mon Sep 17 00:00:00 2001 From: Juan Jose Garcia Ripoll Date: Sat, 12 Jan 2013 09:37:54 +0100 Subject: [PATCH] Print integers using upcase letters for radix > 10 (P. Salvi) --- src/c/printer/integer_to_string.d | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/c/printer/integer_to_string.d b/src/c/printer/integer_to_string.d index c6e8d8732..3b1f526d3 100644 --- a/src/c/printer/integer_to_string.d +++ b/src/c/printer/integer_to_string.d @@ -31,11 +31,11 @@ bignum_to_string(cl_object buffer, cl_object x, cl_object base) /* With the leading sign and the trailing null character, * only 62 digits fit in this buffer. */ char txt[64]; - mpz_get_str(txt, b, x->big.big_num); + mpz_get_str(txt, -b, x->big.big_num); _ecl_string_push_c_string(buffer, txt); } else { char *txt = ecl_alloc_atomic(str_size + 2); - mpz_get_str(txt, b, x->big.big_num); + mpz_get_str(txt, -b, x->big.big_num); _ecl_string_push_c_string(buffer, txt); ecl_dealloc(txt); }