Date   : Sun, 31 May 1987 19:31:51-EDT
From   : "Mark Becker" <Cent.Mbeck%OZ.AI.MIT.EDU@XX.LCS.MIT.EDU>
Subject: Bug in C/80 V 3.1 printf()

Hello -

I just found that:

#include "printf.h"
main() 
{
       printf("%%%d%%", 10);
}

prints "%10" and not "%10%" .

     Before I start figuring out whats happening from the source code,
has anyone already corrected this?

Regards,
Mark