write_addr() would only output the first digit of any number.

This commit is contained in:
jjgarcia 2001-07-23 08:38:02 +00:00
parent c714dc74ca
commit e8d4cf7438

View file

@ -352,7 +352,7 @@ write_addr(cl_object x)
cl_fixnum i, j;
i = (cl_index)x;
for (j = sizeof(i)-4; j >= 0; j -= 4) {
for (j = sizeof(i)*8-4; j >= 0; j -= 4) {
int k = (i>>j) & 0xf;
if (k < 10)
write_ch('0' + k);