printf == float?

[Richard Tobin]

In article <13065 at brl-adm.ARPA> Leisner.Henr at Xerox.COM (Marty) writes:
>It is unreasonable to have to bring in 30k of floating point support to
>	printf("Error code = %d\n", error);

Especially when it would probably take less space to say
        fputs(error_message[error], stderr);

-- Richard



-- 
Richard Tobin,                         JANET: R.Tobin at uk.ac.ed             
AI Applications Institute,             ARPA:  R.Tobin%uk.ac.ed at nss.cs.ucl.ac.uk
Edinburgh University.                  UUCP:  ...!ukc!ed.ac.uk!R.Tobin